pkg/compiler/test/static_type/data/issue42281.dart

// Copyright (c) 2020, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// @dart = 2.7

class Class {
  final Type componentType;

  Class(this.componentType);
}

class SubClass extends Class {
  SubClass(Type componentType) : super(
            /*Type*/ componentType);
}

method1(Class c, Type type, [o]) {
  if (/*Class*/ c == null) {
    if (/*dynamic*/ o != null) {
      c = new Class(String);
    }
    /*Class*/ c;
    print(/*Type*/ type /*invoke: [Type]->bool*/ == /*Class*/ c?.componentType);
  }
}

method2(Class c, Type type, [o]) {
  if (/*Class*/ c == null) {
    if (/*dynamic*/ o != null) {
      c = new SubClass(String);
    }
    /*Class*/ c;
    print(/*Type*/ type /*invoke: [Type]->bool*/ == /*Class*/ c?.componentType);
  }
}

method3(Class c, Type type, [o]) {
  if (/*Class*/ c is SubClass) {
    if (/*SubClass*/ c == null) {
      if (/*dynamic*/ o != null) {
        c = new SubClass(String);
      }
      /*SubClass*/ c;
      print(/*Type*/ type /*invoke: [Type]->bool*/ ==
          /*SubClass*/ c?.componentType);
    }
  }
}

main() {
  method1(new Class(Object), Object);
  method1(new Class(Object), Object, true);
  method1(null, Object);
  method1(null, Object, true);

  method2(new Class(Object), Object);
  method2(new Class(Object), Object, true);
  method2(null, Object);
  method2(null, Object, true);

  method3(new Class(Object), Object);
  method3(new Class(Object), Object, true);
  method3(null, Object);
  method3(null, Object, true);
}