| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| |
| static final field core::bool isLegacySubtyping1a = (#C1) is{ForNonNullableByDefault} core::List<core::int>; |
| static const field core::bool isLegacySubtyping1b = #C2; |
| static final field core::bool isLegacySubtyping2a = (#C3) is{ForNonNullableByDefault} core::List<core::int>; |
| static const field core::bool isLegacySubtyping2b = #C2; |
| static final field core::List<core::int> assertLegacySubtyping1a = #C1; |
| static const field core::List<core::int> assertLegacySubtyping1b = #C1; |
| static final field core::List<core::int> assertLegacySubtyping2a = #C3; |
| static const field core::List<core::int> assertLegacySubtyping2b = #C3; |
| static method main() → void { |
| self::expect(self::isLegacySubtyping1a, #C2); |
| self::expect(self::isLegacySubtyping2a, #C2); |
| self::expect(self::assertLegacySubtyping1a, #C1); |
| self::expect(self::assertLegacySubtyping2a, #C3); |
| } |
| static method expect(dynamic expected, dynamic actual) → dynamic { |
| if(!(expected =={core::Object::==}{(core::Object) → core::bool} actual)) |
| throw "Expected ${expected}, actual ${actual}"; |
| } |
| |
| constants { |
| #C1 = <Null>[] |
| #C2 = true |
| #C3 = <core::int?>[] |
| } |
| |
| Extra constant evaluation status: |
| Evaluated: IsExpression @ org-dartlang-testcase:///issue41657.dart:5:44 -> BoolConstant(true) |
| Evaluated: IsExpression @ org-dartlang-testcase:///issue41657.dart:7:44 -> BoolConstant(true) |
| Extra constant evaluation: evaluated: 18, effectively constant: 2 |