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

typedef MyList<T extends core::num> = core::List<T>;
static method main() → dynamic {}
static method test() → dynamic {
  self::expect(true, #C1);
  self::expect(false, #C2);
  self::expect(true, core::identical(#C4, #C4));
  self::expect(false, core::identical(#C4, #C6));
  (core::int, core::num, {growable: core::bool}) → core::List<core::num> v1 = #C4;
  (core::int, core::num, {growable: core::bool}) → core::List<core::num> v2 = #C4;
  (core::int, core::num, {growable: core::bool}) → core::List<core::num> v3 = #C6;
  core::bool v4 = core::identical(v1, v2);
  core::bool v5 = core::identical(v1, v3);
  self::expect(true, v4);
  self::expect(false, v5);
  self::expect(true, core::identical(v1, v2));
  self::expect(false, core::identical(v1, v3));
}
static method expect(dynamic expected, dynamic actual) → dynamic {
  if(!(expected =={core::Object::==}{(core::Object) → core::bool} actual))
    throw "Expected ${expected}, actual ${actual}";
}

constants  {
  #C1 = true
  #C2 = false
  #C3 = constructor-tearoff core::List::filled
  #C4 = instantiation #C3 <core::num>
  #C5 = typedef-tearoff <T extends core::num>.(#C3<T>)
  #C6 = instantiation #C5 <core::num>
}

Extra constant evaluation status:
Evaluated: StaticInvocation @ org-dartlang-testcase:///issue47462.dart:20:16 -> BoolConstant(true)
Evaluated: StaticInvocation @ org-dartlang-testcase:///issue47462.dart:21:17 -> BoolConstant(false)
Extra constant evaluation: evaluated: 32, effectively constant: 2