|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | abstract class I extends core::Object { | 
|  | synthetic constructor •() → self::I | 
|  | ; | 
|  | abstract method interfaceMethod() → dynamic; | 
|  | } | 
|  | class C extends core::Object implements self::I { | 
|  | synthetic constructor •() → self::C | 
|  | ; | 
|  | method noSuchMethod(wildcard core::Invocation _#wc0#formal) → dynamic | 
|  | ; | 
|  | no-such-method-forwarder method interfaceMethod() → dynamic | 
|  | return this.{self::C::noSuchMethod}(new core::_InvocationMirror::_withType(#interfaceMethod, 0, const <core::Type>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol, dynamic>(const <core::Symbol, dynamic>{}))){(core::Invocation) → dynamic} as{TypeError,ForDynamic} dynamic; | 
|  | } | 
|  | class D extends self::C { | 
|  | synthetic constructor •() → self::D | 
|  | ; | 
|  | method noSuchMethod(wildcard core::Invocation _#wc1#formal) → dynamic | 
|  | ; | 
|  | method dMethod() → dynamic | 
|  | ; | 
|  | } | 
|  | static method main() → dynamic | 
|  | ; | 
|  |  | 
|  |  | 
|  | Extra constant evaluation status: | 
|  | Evaluated: SymbolLiteral @ org-dartlang-testcase:///super_nsm.dart:9:7 -> SymbolConstant(#interfaceMethod) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///super_nsm.dart:9:7 -> ListConstant(const <Type>[]) | 
|  | Evaluated: ListLiteral @ org-dartlang-testcase:///super_nsm.dart:9:7 -> ListConstant(const <dynamic>[]) | 
|  | Evaluated: MapLiteral @ org-dartlang-testcase:///super_nsm.dart:9:7 -> MapConstant(const <Symbol, dynamic>{}) | 
|  | Extra constant evaluation: evaluated: 9, effectively constant: 4 |