Print static types of conditional expressions.

pkg/front_end/testcases/rasta/super.dart.direct.expect

 library;
 import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  field dynamic a;
-  field dynamic b;
-  field dynamic c;
-  field dynamic d;
-  final field dynamic f;
-  constructor •() → self::A
-    : super core::Object::•();
+  field dynamic a = null;
+  field dynamic b = null;
+  field dynamic c = null;
+  field dynamic d = null;
+  final field dynamic f = null;
+  constructor •() → void
+    : super core::Object::•()
+    ;
   get e() → dynamic
     return null;
   set g(dynamic _) → dynamic {}
   get h() → dynamic
     return null;
   set h(dynamic _) → dynamic {}
   get i() → dynamic
     return null;
   operator [](dynamic _) → dynamic
     return null;
   operator []=(dynamic a, dynamic b) → dynamic {}
   operator ~() → dynamic
     return 117;
   operator unary-() → dynamic
     return 117;
   operator ==(dynamic other) → dynamic
     return true;
   method m() → void {}
   method n() → void {}
   set n(dynamic _) → dynamic {}
 }
 class B extends self::A {
-  final field dynamic d;
-  constructor •() → self::B
-    : super self::A::•();
+  final field dynamic d = null;
+  constructor •() → void
+    : super self::A::•()
+    ;
   get b() → dynamic
     return null;
   set c(dynamic x) → dynamic {}
   set i(dynamic x) → dynamic {}
 }
 class C extends self::B {
-  constructor •() → self::C
-    : super self::B::•();
+  constructor •() → void
+    : super self::B::•()
+    ;
   method test() → dynamic {
-    super.{self::A::~}();
-    self::use(super.{self::A::~}());
-    super.{self::A::unary-}();
-    self::use(super.{self::A::unary-}());
-    invalid-expression;
-    self::use(invalid-expression);
-    super.{self::A::==}(87);
-    self::use(super.{self::A::==}(87));
-    !super.{self::A::==}(87);
-    self::use(!super.{self::A::==}(87));
+    super.~();
+    self::use(super.~());
+    super.unary-();
+    self::use(super.unary-());
+    const core::_ConstantExpressionError::•()._throw(new core::_CompileTimeError::•("pkg/front_end/testcases/rasta/super.dart:43:6: Error: Can't use `super` as an expression.\n    +super;\n     ^"));
+    self::use(const core::_ConstantExpressionError::•()._throw(new core::_CompileTimeError::•("pkg/front_end/testcases/rasta/super.dart:44:10: Error: Can't use `super` as an expression.\n    use(+super);\n         ^")));
+    super.==(87);
+    self::use(super.==(87));
+    !super.==(87);
+    self::use(!super.==(87));
     super.{self::A::a};
     self::use(super.{self::A::a});
     super.{self::B::b};
     self::use(super.{self::B::b});
     super.{self::A::c};
     self::use(super.{self::A::c});
     super.{self::B::d};
     self::use(super.{self::B::d});
     super.{self::A::e};
     self::use(super.{self::A::e});
     super.{self::A::f};
     self::use(super.{self::A::f});
-    super.g;
-    self::use(super.g);
+    super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true));
+    self::use(super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)));
     super.{self::A::h};
     self::use(super.{self::A::h});
     super.{self::A::i};
     self::use(super.{self::A::i});
     super.{self::A::[]}(87);
     self::use(super.{self::A::[]}(87));
     super.{self::A::m};
     self::use(super.{self::A::m});
-    throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::a} = super.{self::A::a}.+(1);
-    self::use(let final dynamic #t1 = super.{self::A::a} in let final dynamic #t2 = super.{self::A::a} = #t1.+(1) in #t1);
-    super.{self::A::b} = super.{self::B::b}.+(1);
-    self::use(let final dynamic #t3 = super.{self::B::b} in let final dynamic #t4 = super.{self::A::b} = #t3.+(1) in #t3);
-    super.{self::B::c} = super.{self::A::c}.+(1);
-    self::use(let final dynamic #t5 = super.{self::A::c} in let final dynamic #t6 = super.{self::B::c} = #t5.+(1) in #t5);
-    super.d = super.{self::B::d}.+(1);
-    self::use(let final dynamic #t7 = super.{self::B::d} in let final dynamic #t8 = super.d = #t7.+(1) in #t7);
-    super.e = super.{self::A::e}.+(1);
-    self::use(let final dynamic #t9 = super.{self::A::e} in let final dynamic #t10 = super.e = #t9.+(1) in #t9);
-    super.f = super.{self::A::f}.+(1);
-    self::use(let final dynamic #t11 = super.{self::A::f} in let final dynamic #t12 = super.f = #t11.+(1) in #t11);
-    throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::h} = super.{self::A::h}.+(1);
-    self::use(let final dynamic #t13 = super.{self::A::h} in let final dynamic #t14 = super.{self::A::h} = #t13.+(1) in #t13);
-    super.{self::B::i} = super.{self::A::i}.+(1);
-    self::use(let final dynamic #t15 = super.{self::A::i} in let final dynamic #t16 = super.{self::B::i} = #t15.+(1) in #t15);
-    let final dynamic #t17 = 87 in super.{self::A::[]=}(#t17, super.{self::A::[]}(#t17).+(1));
-    self::use(let final dynamic #t18 = 87 in let final dynamic #t19 = super.{self::A::[]}(#t18) in let final dynamic #t20 = super.{self::A::[]=}(#t18, #t19.+(1)) in #t19);
-    super.m = super.{self::A::m}.+(1);
-    self::use(let final dynamic #t21 = super.{self::A::m} in let final dynamic #t22 = super.m = #t21.+(1) in #t21);
-    throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::a} = super.{self::A::a}.+(1);
-    self::use(super.{self::A::a} = super.{self::A::a}.+(1));
-    super.{self::A::b} = super.{self::B::b}.+(1);
-    self::use(super.{self::A::b} = super.{self::B::b}.+(1));
-    super.{self::B::c} = super.{self::A::c}.+(1);
-    self::use(super.{self::B::c} = super.{self::A::c}.+(1));
-    super.d = super.{self::B::d}.+(1);
-    self::use(super.d = super.{self::B::d}.+(1));
-    super.e = super.{self::A::e}.+(1);
-    self::use(super.e = super.{self::A::e}.+(1));
-    super.f = super.{self::A::f}.+(1);
-    self::use(super.f = super.{self::A::f}.+(1));
-    throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::h} = super.{self::A::h}.+(1);
-    self::use(super.{self::A::h} = super.{self::A::h}.+(1));
-    super.{self::B::i} = super.{self::A::i}.+(1);
-    self::use(super.{self::B::i} = super.{self::A::i}.+(1));
-    let final dynamic #t23 = 87 in super.{self::A::[]=}(#t23, super.{self::A::[]}(#t23).+(1));
-    self::use(let final dynamic #t24 = 87 in let final dynamic #t25 = super.{self::A::[]}(#t24).+(1) in let final dynamic #t26 = super.{self::A::[]=}(#t24, #t25) in #t25);
-    super.m = super.{self::A::m}.+(1);
-    self::use(super.m = super.{self::A::m}.+(1));
-    throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null));
+    super.{self::A::n};
+    self::use(super.{self::A::n});
+    super.a = super.a.+(1);
+    self::use(let final dynamic #t1 = super.a in let final dynamic #t2 = super.a = #t1.+(1) in #t1);
+    super.b = super.b.+(1);
+    self::use(let final dynamic #t3 = super.b in let final dynamic #t4 = super.b = #t3.+(1) in #t3);
+    super.c = super.c.+(1);
+    self::use(let final dynamic #t5 = super.c in let final dynamic #t6 = super.c = #t5.+(1) in #t5);
+    super.d = super.d.+(1);
+    self::use(let final dynamic #t7 = super.d in let final dynamic #t8 = super.d = #t7.+(1) in #t7);
+    let final dynamic #t9 = super.e.+(1) in let final dynamic #t10 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t9].toList(growable: false), true)) in #t9;
+    self::use(let final dynamic #t11 = super.e in let final dynamic #t12 = let final dynamic #t13 = #t11.+(1) in let final dynamic #t14 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t13].toList(growable: false), true)) in #t13 in #t11);
+    let final dynamic #t15 = super.f.+(1) in let final dynamic #t16 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t15].toList(growable: false), true)) in #t15;
+    self::use(let final dynamic #t17 = super.f in let final dynamic #t18 = let final dynamic #t19 = #t17.+(1) in let final dynamic #t20 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t19].toList(growable: false), true)) in #t19 in #t17);
+    super.g = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)).+(1);
+    self::use(let final dynamic #t21 = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)) in let final dynamic #t22 = super.g = #t21.+(1) in #t21);
+    super.h = super.h.+(1);
+    self::use(let final dynamic #t23 = super.h in let final dynamic #t24 = super.h = #t23.+(1) in #t23);
+    super.i = super.i.+(1);
+    self::use(let final dynamic #t25 = super.i in let final dynamic #t26 = super.i = #t25.+(1) in #t25);
+    let final dynamic #t27 = 87 in super.[]=(#t27, super.[](#t27).+(1));
+    self::use(let final dynamic #t28 = 87 in let final dynamic #t29 = super.[](#t28) in let final dynamic #t30 = super.[]=(#t28, #t29.+(1)) in #t29);
+    let final dynamic #t31 = super.m.+(1) in let final dynamic #t32 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t31].toList(growable: false), true)) in #t31;
+    self::use(let final dynamic #t33 = super.m in let final dynamic #t34 = let final dynamic #t35 = #t33.+(1) in let final dynamic #t36 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t35].toList(growable: false), true)) in #t35 in #t33);
+    super.n = super.n.+(1);
+    self::use(let final dynamic #t37 = super.n in let final dynamic #t38 = super.n = #t37.+(1) in #t37);
+    super.a = super.a.+(1);
+    self::use(super.a = super.a.+(1));
+    super.b = super.b.+(1);
+    self::use(super.b = super.b.+(1));
+    super.c = super.c.+(1);
+    self::use(super.c = super.c.+(1));
+    super.d = super.d.+(1);
+    self::use(super.d = super.d.+(1));
+    let final dynamic #t39 = super.e.+(1) in let final dynamic #t40 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t39].toList(growable: false), true)) in #t39;
+    self::use(let final dynamic #t41 = super.e.+(1) in let final dynamic #t42 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t41].toList(growable: false), true)) in #t41);
+    let final dynamic #t43 = super.f.+(1) in let final dynamic #t44 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t43].toList(growable: false), true)) in #t43;
+    self::use(let final dynamic #t45 = super.f.+(1) in let final dynamic #t46 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t45].toList(growable: false), true)) in #t45);
+    super.g = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)).+(1);
+    self::use(super.g = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)).+(1));
+    super.h = super.h.+(1);
+    self::use(super.h = super.h.+(1));
+    super.i = super.i.+(1);
+    self::use(super.i = super.i.+(1));
+    let final dynamic #t47 = 87 in let final dynamic #t48 = super.[](#t47).+(1) in let final dynamic #t49 = super.[]=(#t47, #t48) in #t48;
+    self::use(let final dynamic #t50 = 87 in let final dynamic #t51 = super.[](#t50).+(1) in let final dynamic #t52 = super.[]=(#t50, #t51) in #t51);
+    let final dynamic #t53 = super.m.+(1) in let final dynamic #t54 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t53].toList(growable: false), true)) in #t53;
+    self::use(let final dynamic #t55 = super.m.+(1) in let final dynamic #t56 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t55].toList(growable: false), true)) in #t55);
+    super.n = super.n.+(1);
+    self::use(super.n = super.n.+(1));
     super.{self::A::a}.call();
     self::use(super.{self::A::a}.call());
     super.{self::B::b}.call();
     self::use(super.{self::B::b}.call());
     super.{self::A::c}.call();
     self::use(super.{self::A::c}.call());
     super.{self::B::d}.call();
     self::use(super.{self::B::d}.call());
     super.{self::A::e}.call();
     self::use(super.{self::A::e}.call());
     super.{self::A::f}.call();
     self::use(super.{self::A::f}.call());
-    super.g.call();
-    self::use(super.g.call());
+    super.noSuchMethod(new core::_InvocationMirror::•("g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true));
+    self::use(super.noSuchMethod(new core::_InvocationMirror::•("g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)));
     super.{self::A::h}.call();
     self::use(super.{self::A::h}.call());
     super.{self::A::i}.call();
     self::use(super.{self::A::i}.call());
     super.{self::A::[]}(87).call();
     self::use(super.{self::A::[]}(87).call());
-    super.{self::A::m}();
-    self::use(super.{self::A::m}());
-    super.{self::A::m}(87);
-    self::use(super.{self::A::m}(87));
-    throw core::_unresolvedSuperMethodError(this, #n, <dynamic>[87], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperMethodError(this, #n, <dynamic>[87], <dynamic, dynamic>{}, null));
-    super.{self::A::a} = 42;
-    self::use(super.{self::A::a} = 42);
-    super.{self::A::b} = 42;
-    self::use(super.{self::A::b} = 42);
-    super.{self::B::c} = 42;
-    self::use(super.{self::B::c} = 42);
+    super.m();
+    self::use(super.m());
+    super.m(87);
+    self::use(super.m(87));
+    super.n(87);
+    self::use(super.n(87));
+    super.a = 42;
+    self::use(super.a = 42);
+    super.b = 42;
+    self::use(super.b = 42);
+    super.c = 42;
+    self::use(super.c = 42);
     super.d = 42;
     self::use(super.d = 42);
-    super.e = 42;
-    self::use(super.e = 42);
-    super.f = 42;
-    self::use(super.f = 42);
-    super.{self::A::g} = 42;
-    self::use(super.{self::A::g} = 42);
-    super.{self::A::h} = 42;
-    self::use(super.{self::A::h} = 42);
-    super.{self::B::i} = 42;
-    self::use(super.{self::B::i} = 42);
-    super.{self::A::[]=}(87, 42);
-    self::use(let final dynamic #t27 = 87 in let final dynamic #t28 = 42 in let final dynamic #t29 = super.{self::A::[]=}(#t27, #t28) in #t28);
-    super.m = 42;
-    self::use(super.m = 42);
-    throw core::_unresolvedSuperSetterError(this, #n, <dynamic>[42], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperSetterError(this, #n, <dynamic>[42], <dynamic, dynamic>{}, null));
-    super.{self::A::a}.==(null) ? super.{self::A::a} = 42 : null;
-    self::use(let final dynamic #t30 = super.{self::A::a} in #t30.==(null) ? super.{self::A::a} = 42 : #t30);
-    super.{self::B::b}.==(null) ? super.{self::A::b} = 42 : null;
-    self::use(let final dynamic #t31 = super.{self::B::b} in #t31.==(null) ? super.{self::A::b} = 42 : #t31);
-    super.{self::A::c}.==(null) ? super.{self::B::c} = 42 : null;
-    self::use(let final dynamic #t32 = super.{self::A::c} in #t32.==(null) ? super.{self::B::c} = 42 : #t32);
-    super.{self::B::d}.==(null) ? super.d = 42 : null;
-    self::use(let final dynamic #t33 = super.{self::B::d} in #t33.==(null) ? super.d = 42 : #t33);
-    super.{self::A::e}.==(null) ? super.e = 42 : null;
-    self::use(let final dynamic #t34 = super.{self::A::e} in #t34.==(null) ? super.e = 42 : #t34);
-    super.{self::A::f}.==(null) ? super.f = 42 : null;
-    self::use(let final dynamic #t35 = super.{self::A::f} in #t35.==(null) ? super.f = 42 : #t35);
-    throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::h}.==(null) ? super.{self::A::h} = 42 : null;
-    self::use(let final dynamic #t36 = super.{self::A::h} in #t36.==(null) ? super.{self::A::h} = 42 : #t36);
-    super.{self::A::i}.==(null) ? super.{self::B::i} = 42 : null;
-    self::use(let final dynamic #t37 = super.{self::A::i} in #t37.==(null) ? super.{self::B::i} = 42 : #t37);
-    let final dynamic #t38 = 87 in super.{self::A::[]}(#t38).==(null) ? super.{self::A::[]=}(#t38, 42) : null;
-    self::use(let final dynamic #t39 = 87 in let final dynamic #t40 = super.{self::A::[]}(#t39) in #t40.==(null) ? let final dynamic #t41 = 42 in let final dynamic #t42 = super.{self::A::[]=}(#t39, #t41) in #t41 : #t40);
-    super.{self::A::m}.==(null) ? super.m = 42 : null;
-    self::use(let final dynamic #t43 = super.{self::A::m} in #t43.==(null) ? super.m = 42 : #t43);
-    throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::a} = super.{self::A::a}.+(42);
-    self::use(super.{self::A::a} = super.{self::A::a}.+(42));
-    super.{self::A::b} = super.{self::B::b}.+(42);
-    self::use(super.{self::A::b} = super.{self::B::b}.+(42));
-    super.{self::B::c} = super.{self::A::c}.+(42);
-    self::use(super.{self::B::c} = super.{self::A::c}.+(42));
-    super.d = super.{self::B::d}.+(42);
-    self::use(super.d = super.{self::B::d}.+(42));
-    super.e = super.{self::A::e}.+(42);
-    self::use(super.e = super.{self::A::e}.+(42));
-    super.f = super.{self::A::f}.+(42);
-    self::use(super.f = super.{self::A::f}.+(42));
-    throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::h} = super.{self::A::h}.+(42);
-    self::use(super.{self::A::h} = super.{self::A::h}.+(42));
-    super.{self::B::i} = super.{self::A::i}.+(42);
-    self::use(super.{self::B::i} = super.{self::A::i}.+(42));
-    let final dynamic #t44 = 87 in super.{self::A::[]=}(#t44, super.{self::A::[]}(#t44).+(42));
-    self::use(let final dynamic #t45 = 87 in let final dynamic #t46 = super.{self::A::[]}(#t45).+(42) in let final dynamic #t47 = super.{self::A::[]=}(#t45, #t46) in #t46);
-    super.m = super.{self::A::m}.+(42);
-    self::use(super.m = super.{self::A::m}.+(42));
-    throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::a} = super.{self::A::a}.-(42);
-    self::use(super.{self::A::a} = super.{self::A::a}.-(42));
-    super.{self::A::b} = super.{self::B::b}.-(42);
-    self::use(super.{self::A::b} = super.{self::B::b}.-(42));
-    super.{self::B::c} = super.{self::A::c}.-(42);
-    self::use(super.{self::B::c} = super.{self::A::c}.-(42));
-    super.d = super.{self::B::d}.-(42);
-    self::use(super.d = super.{self::B::d}.-(42));
-    super.e = super.{self::A::e}.-(42);
-    self::use(super.e = super.{self::A::e}.-(42));
-    super.f = super.{self::A::f}.-(42);
-    self::use(super.f = super.{self::A::f}.-(42));
-    throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #g, <dynamic>[], <dynamic, dynamic>{}, null));
-    super.{self::A::h} = super.{self::A::h}.-(42);
-    self::use(super.{self::A::h} = super.{self::A::h}.-(42));
-    super.{self::B::i} = super.{self::A::i}.-(42);
-    self::use(super.{self::B::i} = super.{self::A::i}.-(42));
-    let final dynamic #t48 = 87 in super.{self::A::[]=}(#t48, super.{self::A::[]}(#t48).-(42));
-    self::use(let final dynamic #t49 = 87 in let final dynamic #t50 = super.{self::A::[]}(#t49).-(42) in let final dynamic #t51 = super.{self::A::[]=}(#t49, #t50) in #t50);
-    super.m = super.{self::A::m}.-(42);
-    self::use(super.m = super.{self::A::m}.-(42));
-    throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null);
-    self::use(throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null));
+    let final dynamic #t57 = 42 in let final dynamic #t58 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t57].toList(growable: false), true)) in #t57;
+    self::use(let final dynamic #t59 = 42 in let final dynamic #t60 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t59].toList(growable: false), true)) in #t59);
+    let final dynamic #t61 = 42 in let final dynamic #t62 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t61].toList(growable: false), true)) in #t61;
+    self::use(let final dynamic #t63 = 42 in let final dynamic #t64 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t63].toList(growable: false), true)) in #t63);
+    super.g = 42;
+    self::use(super.g = 42);
+    super.h = 42;
+    self::use(super.h = 42);
+    super.i = 42;
+    self::use(super.i = 42);
+    super.[]=(87, 42);
+    self::use(let final dynamic #t65 = 87 in let final dynamic #t66 = 42 in let final dynamic #t67 = super.[]=(#t65, #t66) in #t66);
+    let final dynamic #t68 = 42 in let final dynamic #t69 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t68].toList(growable: false), true)) in #t68;
+    self::use(let final dynamic #t70 = 42 in let final dynamic #t71 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t70].toList(growable: false), true)) in #t70);
+    super.n = 42;
+    self::use(super.n = 42);
+    super.a.==(null) ?{dynamic} super.a = 42 : null;
+    self::use(let final dynamic #t72 = super.a in #t72.==(null) ?{dynamic} super.a = 42 : #t72);
+    super.b.==(null) ?{dynamic} super.b = 42 : null;
+    self::use(let final dynamic #t73 = super.b in #t73.==(null) ?{dynamic} super.b = 42 : #t73);
+    super.c.==(null) ?{dynamic} super.c = 42 : null;
+    self::use(let final dynamic #t74 = super.c in #t74.==(null) ?{dynamic} super.c = 42 : #t74);
+    super.d.==(null) ?{dynamic} super.d = 42 : null;
+    self::use(let final dynamic #t75 = super.d in #t75.==(null) ?{dynamic} super.d = 42 : #t75);
+    super.e.==(null) ?{dynamic} let final dynamic #t76 = 42 in let final dynamic #t77 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t76].toList(growable: false), true)) in #t76 : null;
+    self::use(let final dynamic #t78 = super.e in #t78.==(null) ?{dynamic} let final dynamic #t79 = 42 in let final dynamic #t80 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t79].toList(growable: false), true)) in #t79 : #t78);
+    super.f.==(null) ?{dynamic} let final dynamic #t81 = 42 in let final dynamic #t82 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t81].toList(growable: false), true)) in #t81 : null;
+    self::use(let final dynamic #t83 = super.f in #t83.==(null) ?{dynamic} let final dynamic #t84 = 42 in let final dynamic #t85 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t84].toList(growable: false), true)) in #t84 : #t83);
+    super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)).==(null) ?{dynamic} super.g = 42 : null;
+    self::use(let final dynamic #t86 = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)) in #t86.==(null) ?{dynamic} super.g = 42 : #t86);
+    super.h.==(null) ?{dynamic} super.h = 42 : null;
+    self::use(let final dynamic #t87 = super.h in #t87.==(null) ?{dynamic} super.h = 42 : #t87);
+    super.i.==(null) ?{dynamic} super.i = 42 : null;
+    self::use(let final dynamic #t88 = super.i in #t88.==(null) ?{dynamic} super.i = 42 : #t88);
+    let final dynamic #t89 = 87 in super.[](#t89).==(null) ?{dynamic} let final dynamic #t90 = 42 in let final dynamic #t91 = super.[]=(#t89, #t90) in #t90 : null;
+    self::use(let final dynamic #t92 = 87 in let final dynamic #t93 = super.[](#t92) in #t93.==(null) ?{dynamic} let final dynamic #t94 = 42 in let final dynamic #t95 = super.[]=(#t92, #t94) in #t94 : #t93);
+    super.m.==(null) ?{dynamic} let final dynamic #t96 = 42 in let final dynamic #t97 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t96].toList(growable: false), true)) in #t96 : null;
+    self::use(let final dynamic #t98 = super.m in #t98.==(null) ?{dynamic} let final dynamic #t99 = 42 in let final dynamic #t100 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t99].toList(growable: false), true)) in #t99 : #t98);
+    super.n.==(null) ?{dynamic} super.n = 42 : null;
+    self::use(let final dynamic #t101 = super.n in #t101.==(null) ?{dynamic} super.n = 42 : #t101);
+    super.a = super.a.+(42);
+    self::use(super.a = super.a.+(42));
+    super.b = super.b.+(42);
+    self::use(super.b = super.b.+(42));
+    super.c = super.c.+(42);
+    self::use(super.c = super.c.+(42));
+    super.d = super.d.+(42);
+    self::use(super.d = super.d.+(42));
+    let final dynamic #t102 = super.e.+(42) in let final dynamic #t103 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t102].toList(growable: false), true)) in #t102;
+    self::use(let final dynamic #t104 = super.e.+(42) in let final dynamic #t105 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t104].toList(growable: false), true)) in #t104);
+    let final dynamic #t106 = super.f.+(42) in let final dynamic #t107 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t106].toList(growable: false), true)) in #t106;
+    self::use(let final dynamic #t108 = super.f.+(42) in let final dynamic #t109 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t108].toList(growable: false), true)) in #t108);
+    super.g = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)).+(42);
+    self::use(super.g = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)).+(42));
+    super.h = super.h.+(42);
+    self::use(super.h = super.h.+(42));
+    super.i = super.i.+(42);
+    self::use(super.i = super.i.+(42));
+    let final dynamic #t110 = 87 in super.[]=(#t110, super.[](#t110).+(42));
+    self::use(let final dynamic #t111 = 87 in let final dynamic #t112 = super.[](#t111).+(42) in let final dynamic #t113 = super.[]=(#t111, #t112) in #t112);
+    let final dynamic #t114 = super.m.+(42) in let final dynamic #t115 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t114].toList(growable: false), true)) in #t114;
+    self::use(let final dynamic #t116 = super.m.+(42) in let final dynamic #t117 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t116].toList(growable: false), true)) in #t116);
+    super.n = super.n.+(42);
+    self::use(super.n = super.n.+(42));
+    super.a = super.a.-(42);
+    self::use(super.a = super.a.-(42));
+    super.b = super.b.-(42);
+    self::use(super.b = super.b.-(42));
+    super.c = super.c.-(42);
+    self::use(super.c = super.c.-(42));
+    super.d = super.d.-(42);
+    self::use(super.d = super.d.-(42));
+    let final dynamic #t118 = super.e.-(42) in let final dynamic #t119 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t118].toList(growable: false), true)) in #t118;
+    self::use(let final dynamic #t120 = super.e.-(42) in let final dynamic #t121 = super.noSuchMethod(new core::_InvocationMirror::•("set:e", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t120].toList(growable: false), true)) in #t120);
+    let final dynamic #t122 = super.f.-(42) in let final dynamic #t123 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t122].toList(growable: false), true)) in #t122;
+    self::use(let final dynamic #t124 = super.f.-(42) in let final dynamic #t125 = super.noSuchMethod(new core::_InvocationMirror::•("set:f", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t124].toList(growable: false), true)) in #t124);
+    super.g = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)).-(42);
+    self::use(super.g = super.noSuchMethod(new core::_InvocationMirror::•("get:g", <dynamic>[0, 1, 1].toList(growable: false), <dynamic>[this].toList(growable: false), true)).-(42));
+    super.h = super.h.-(42);
+    self::use(super.h = super.h.-(42));
+    super.i = super.i.-(42);
+    self::use(super.i = super.i.-(42));
+    let final dynamic #t126 = 87 in super.[]=(#t126, super.[](#t126).-(42));
+    self::use(let final dynamic #t127 = 87 in let final dynamic #t128 = super.[](#t127).-(42) in let final dynamic #t129 = super.[]=(#t127, #t128) in #t128);
+    let final dynamic #t130 = super.m.-(42) in let final dynamic #t131 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t130].toList(growable: false), true)) in #t130;
+    self::use(let final dynamic #t132 = super.m.-(42) in let final dynamic #t133 = super.noSuchMethod(new core::_InvocationMirror::•("set:m", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t132].toList(growable: false), true)) in #t132);
+    super.n = super.n.-(42);
+    self::use(super.n = super.n.-(42));
   }
 }
+const field dynamic #errors = const <dynamic>["pkg/front_end/testcases/rasta/super.dart:43:5: Error: '+' is not a prefix operator. \n    +super;\n    ^", "pkg/front_end/testcases/rasta/super.dart:44:9: Error: '+' is not a prefix operator. \n    use(+super);\n        ^"]/* from null */;
 static method use(dynamic x) → dynamic {
   if(x.==(new core::DateTime::now().millisecondsSinceEpoch))
     throw "Shouldn't happen";
 }
 static method main() → dynamic {
   new self::C::•().test();
 }