|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  | import "nsm_covariance_lib.dart" as nsm; | 
|  |  | 
|  | import "org-dartlang-testcase:///nsm_covariance_lib.dart"; | 
|  |  | 
|  | abstract class D1 extends core::Object implements nsm::A<core::int>, nsm::B { | 
|  | synthetic constructor •() → self::D1 | 
|  | ; | 
|  | abstract forwarding-stub synthetic method nsm::_method1(core::int a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d) → void; | 
|  | abstract forwarding-stub synthetic method nsm::_method2({core::int a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d}) → void; | 
|  | abstract forwarding-stub synthetic method nsm::_method3(covariant-by-declaration core::int a, covariant-by-class core::int b) → void; | 
|  | abstract forwarding-stub synthetic method nsm::_method4({covariant-by-declaration core::int a, covariant-by-class core::int b}) → void; | 
|  | } | 
|  | abstract class D2 extends core::Object implements nsm::B, nsm::A<core::int> { | 
|  | synthetic constructor •() → self::D2 | 
|  | ; | 
|  | abstract forwarding-stub synthetic method nsm::_method1(core::int x, covariant-by-declaration core::int y, covariant-by-class core::int z, covariant-by-declaration covariant-by-class core::int w) → void; | 
|  | abstract forwarding-stub synthetic method nsm::_method2({core::int a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d}) → void; | 
|  | abstract forwarding-stub synthetic method nsm::_method3(covariant-by-declaration core::int x, covariant-by-class core::int y) → void; | 
|  | abstract forwarding-stub synthetic method nsm::_method4({covariant-by-declaration core::int a, covariant-by-class core::int b}) → void; | 
|  | } | 
|  | class D3 extends core::Object implements nsm::A<core::int>, nsm::B { | 
|  | synthetic constructor •() → self::D3 | 
|  | ; | 
|  | @core::override | 
|  | method noSuchMethod(core::Invocation invocation) → dynamic | 
|  | ; | 
|  | synthetic no-such-method-forwarder method nsm::_method1(core::int a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d) → void | 
|  | return throw{for-error-handling} core::NoSuchMethodError::withInvocation(this, new core::_InvocationMirror::_withType(#_method1, 0, const <core::Type>[], core::List::unmodifiable<dynamic>(<dynamic>[a, b, c, d]), core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))); | 
|  | synthetic no-such-method-forwarder method /* signature-type: ({a: core::int, b: core::int, c: core::int, d: core::int}) → void */ nsm::_method2({core::int? a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d}) → void | 
|  | return throw{for-error-handling} core::NoSuchMethodError::withInvocation(this, new core::_InvocationMirror::_withType(#_method2, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#a: a, #b: b, #c: c, #d: d}))); | 
|  | synthetic no-such-method-forwarder method nsm::_method3(covariant-by-declaration core::int a, covariant-by-class core::int b) → void | 
|  | return throw{for-error-handling} core::NoSuchMethodError::withInvocation(this, new core::_InvocationMirror::_withType(#_method3, 0, const <core::Type>[], core::List::unmodifiable<dynamic>(<dynamic>[a, b]), core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))); | 
|  | synthetic no-such-method-forwarder method nsm::_method4({covariant-by-declaration core::int a, covariant-by-class core::int b}) → void | 
|  | return throw{for-error-handling} core::NoSuchMethodError::withInvocation(this, new core::_InvocationMirror::_withType(#_method4, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#a: a, #b: b}))); | 
|  | } | 
|  | class D4 extends core::Object implements nsm::B, nsm::A<core::int> { | 
|  | synthetic constructor •() → self::D4 | 
|  | ; | 
|  | @core::override | 
|  | method noSuchMethod(core::Invocation invocation) → dynamic | 
|  | ; | 
|  | synthetic no-such-method-forwarder method nsm::_method1(core::int x, covariant-by-declaration core::int y, covariant-by-class core::int z, covariant-by-declaration covariant-by-class core::int w) → void | 
|  | return throw{for-error-handling} core::NoSuchMethodError::withInvocation(this, new core::_InvocationMirror::_withType(#_method1, 0, const <core::Type>[], core::List::unmodifiable<dynamic>(<dynamic>[x, y, z, w]), core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))); | 
|  | synthetic no-such-method-forwarder method /* signature-type: ({a: core::int, b: core::int, c: core::int, d: core::int}) → void */ nsm::_method2({core::int? a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d}) → void | 
|  | return throw{for-error-handling} core::NoSuchMethodError::withInvocation(this, new core::_InvocationMirror::_withType(#_method2, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#a: a, #b: b, #c: c, #d: d}))); | 
|  | synthetic no-such-method-forwarder method nsm::_method3(covariant-by-declaration core::int x, covariant-by-class core::int y) → void | 
|  | return throw{for-error-handling} core::NoSuchMethodError::withInvocation(this, new core::_InvocationMirror::_withType(#_method3, 0, const <core::Type>[], core::List::unmodifiable<dynamic>(<dynamic>[x, y]), core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))); | 
|  | synthetic no-such-method-forwarder method nsm::_method4({covariant-by-declaration core::int a, covariant-by-class core::int b}) → void | 
|  | return throw{for-error-handling} core::NoSuchMethodError::withInvocation(this, new core::_InvocationMirror::_withType(#_method4, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#a: a, #b: b}))); | 
|  | } | 
|  | static method main() → dynamic | 
|  | ; | 
|  |  | 
|  | library; | 
|  | import self as nsm; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | abstract class A<T extends core::Object? = dynamic> extends core::Object { | 
|  | synthetic constructor •() → nsm::A<nsm::A::T%> | 
|  | ; | 
|  | abstract method _method1(core::int a, core::int b, covariant-by-class nsm::A::T% c, covariant-by-class nsm::A::T% d) → void; | 
|  | abstract method _method2({core::int a = null, core::int b = null, covariant-by-class nsm::A::T% c = null, covariant-by-class nsm::A::T% d = null}) → void; | 
|  | abstract method _method3(core::int a, covariant-by-class nsm::A::T% b) → void; | 
|  | abstract method _method4({core::int a = null, covariant-by-class nsm::A::T% b = null}) → void; | 
|  | } | 
|  | abstract class B extends core::Object { | 
|  | synthetic constructor •() → nsm::B | 
|  | ; | 
|  | abstract method _method1(core::int x, covariant-by-declaration core::int y, core::int z, covariant-by-declaration core::int w) → void; | 
|  | abstract method _method2({core::int a = null, covariant-by-declaration core::int b = null, core::int c = null, covariant-by-declaration core::int d = null}) → void; | 
|  | abstract method _method3(covariant-by-declaration core::int x, core::int y) → void; | 
|  | abstract method _method4({covariant-by-declaration core::int a = null, core::int b = null}) → void; | 
|  | } | 
|  | abstract class C1 extends core::Object implements nsm::A<core::int>, nsm::B { | 
|  | synthetic constructor •() → nsm::C1 | 
|  | ; | 
|  | abstract forwarding-stub synthetic method _method1(core::int a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d) → void; | 
|  | abstract forwarding-stub synthetic method _method2({core::int a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d}) → void; | 
|  | abstract forwarding-stub synthetic method _method3(covariant-by-declaration core::int a, covariant-by-class core::int b) → void; | 
|  | abstract forwarding-stub synthetic method _method4({covariant-by-declaration core::int a, covariant-by-class core::int b}) → void; | 
|  | } | 
|  | abstract class C2 extends core::Object implements nsm::B, nsm::A<core::int> { | 
|  | synthetic constructor •() → nsm::C2 | 
|  | ; | 
|  | abstract forwarding-stub synthetic method _method1(core::int x, covariant-by-declaration core::int y, covariant-by-class core::int z, covariant-by-declaration covariant-by-class core::int w) → void; | 
|  | abstract forwarding-stub synthetic method _method2({core::int a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d}) → void; | 
|  | abstract forwarding-stub synthetic method _method3(covariant-by-declaration core::int x, covariant-by-class core::int y) → void; | 
|  | abstract forwarding-stub synthetic method _method4({covariant-by-declaration core::int a, covariant-by-class core::int b}) → void; | 
|  | } | 
|  | class C3 extends core::Object implements nsm::A<core::int>, nsm::B { | 
|  | synthetic constructor •() → nsm::C3 | 
|  | ; | 
|  | @core::override | 
|  | method noSuchMethod(core::Invocation invocation) → dynamic | 
|  | ; | 
|  | synthetic no-such-method-forwarder method _method1(core::int a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d) → void | 
|  | return this.{nsm::C3::noSuchMethod}(new core::_InvocationMirror::_withType(#_method1, 0, const <core::Type>[], core::List::unmodifiable<dynamic>(<dynamic>[a, b, c, d]), core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))){(core::Invocation) → dynamic}; | 
|  | synthetic no-such-method-forwarder method /* signature-type: ({a: core::int, b: core::int, c: core::int, d: core::int}) → void */ _method2({core::int? a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d}) → void | 
|  | return this.{nsm::C3::noSuchMethod}(new core::_InvocationMirror::_withType(#_method2, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#a: a, #b: b, #c: c, #d: d}))){(core::Invocation) → dynamic}; | 
|  | synthetic no-such-method-forwarder method _method3(covariant-by-declaration core::int a, covariant-by-class core::int b) → void | 
|  | return this.{nsm::C3::noSuchMethod}(new core::_InvocationMirror::_withType(#_method3, 0, const <core::Type>[], core::List::unmodifiable<dynamic>(<dynamic>[a, b]), core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))){(core::Invocation) → dynamic}; | 
|  | synthetic no-such-method-forwarder method _method4({covariant-by-declaration core::int a, covariant-by-class core::int b}) → void | 
|  | return this.{nsm::C3::noSuchMethod}(new core::_InvocationMirror::_withType(#_method4, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#a: a, #b: b}))){(core::Invocation) → dynamic}; | 
|  | } | 
|  | class C4 extends core::Object implements nsm::B, nsm::A<core::int> { | 
|  | synthetic constructor •() → nsm::C4 | 
|  | ; | 
|  | @core::override | 
|  | method noSuchMethod(core::Invocation invocation) → dynamic | 
|  | ; | 
|  | synthetic no-such-method-forwarder method _method1(core::int x, covariant-by-declaration core::int y, covariant-by-class core::int z, covariant-by-declaration covariant-by-class core::int w) → void | 
|  | return this.{nsm::C4::noSuchMethod}(new core::_InvocationMirror::_withType(#_method1, 0, const <core::Type>[], core::List::unmodifiable<dynamic>(<dynamic>[x, y, z, w]), core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))){(core::Invocation) → dynamic}; | 
|  | synthetic no-such-method-forwarder method /* signature-type: ({a: core::int, b: core::int, c: core::int, d: core::int}) → void */ _method2({core::int? a, covariant-by-declaration core::int b, covariant-by-class core::int c, covariant-by-declaration covariant-by-class core::int d}) → void | 
|  | return this.{nsm::C4::noSuchMethod}(new core::_InvocationMirror::_withType(#_method2, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#a: a, #b: b, #c: c, #d: d}))){(core::Invocation) → dynamic}; | 
|  | synthetic no-such-method-forwarder method _method3(covariant-by-declaration core::int x, covariant-by-class core::int y) → void | 
|  | return this.{nsm::C4::noSuchMethod}(new core::_InvocationMirror::_withType(#_method3, 0, const <core::Type>[], core::List::unmodifiable<dynamic>(<dynamic>[x, y]), core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))){(core::Invocation) → dynamic}; | 
|  | synthetic no-such-method-forwarder method _method4({covariant-by-declaration core::int a, covariant-by-class core::int b}) → void | 
|  | return this.{nsm::C4::noSuchMethod}(new core::_InvocationMirror::_withType(#_method4, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#a: a, #b: b}))){(core::Invocation) → dynamic}; | 
|  | } | 
|  |  | 
|  |  | 
|  | Extra constant evaluation status: | 
|  | Evaluated: StaticGet @ org-dartlang-testcase:///nsm_covariance.dart:12:4 -> InstanceConstant(const _Override{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#_method1) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#_method2) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#a) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#b) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#c) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#d) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#_method3) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#_method4) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#a) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:11:7 -> SymbolConstant(#b) | 
|  | Evaluated: StaticGet @ org-dartlang-testcase:///nsm_covariance.dart:17:4 -> InstanceConstant(const _Override{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#_method1) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#_method2) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#a) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#b) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#c) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#d) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#_method3) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#_method4) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#a) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance.dart:16:7 -> SymbolConstant(#b) | 
|  | Evaluated: StaticGet @ org-dartlang-testcase:///nsm_covariance_lib.dart:24:4 -> InstanceConstant(const _Override{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#_method1) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#_method2) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#a) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#b) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#c) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#d) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#_method3) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#_method4) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#a) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:23:7 -> SymbolConstant(#b) | 
|  | Evaluated: StaticGet @ org-dartlang-testcase:///nsm_covariance_lib.dart:29:4 -> InstanceConstant(const _Override{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#_method1) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#_method2) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#a) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#b) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#c) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#d) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#_method3) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#_method4) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#a) | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///nsm_covariance_lib.dart:28:7 -> SymbolConstant(#b) | 
|  | Extra constant evaluation: evaluated: 220, effectively constant: 76 |