library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

static method test(dynamic x) → void {
  if(x is{ForNonNullableByDefault} Never) {
    Never n1 = x{Never}.toString();
    Never n2 = x{Never}.runtimeType;
    Never n3 = x{Never}.someGetter;
    Never n4 = x{Never}.someMethod();
    Never n5 = x{Never}.+(x{Never});
    Never n6 = x{Never}.[](x{Never});
    Never n7 = x{Never}.call();
    Never n8 = x{Never}.runtimeType();
    Never n9 = x{Never}.toString;
    x{Never}.runtimeType = core::Object;
    x{Never}.toString = () → core::String => "";
    Never v1 = x{Never}.toString();
    Never v2 = x{Never}.runtimeType;
    Never v3 = x{Never}.someGetter;
    Never v4 = x{Never}.someMethod();
    Never v5 = x{Never}.+(x{Never});
    Never v6 = x{Never}.[](x{Never});
    Never v7 = x{Never}.call();
    Never v8 = x{Never}.runtimeType();
    Never v9 = x{Never}.toString;
  }
}
static method main() → dynamic {
  self::test(null);
}


Extra constant evaluation status:
Evaluated: TypeLiteral @ org-dartlang-testcase:///issue41273.dart:16:21 -> TypeLiteralConstant(Object)
Extra constant evaluation: evaluated: 49, effectively constant: 1