Add type inference for assignments to `super[...]`

pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.strong.expect

Index: pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.strong.expect b/pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..2d41db07a755565496597598cbdcf91c4a3734a5
--- /dev/null
+++ b/pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.strong.expect
@@ -0,0 +1,165 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+abstract class Base<T extends core::Object, U extends core::Object> extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
+  abstract operator [](core::String s) → self::Base::T;
+  abstract operator []=(core::String s, self::Base::U v) → void;
+}
+abstract class Test1 extends self::Base<core::int, core::int> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::int v1 = let final dynamic #t1 = "x" in let final dynamic #t2 = self::getInt() in let final dynamic #t3 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t1, #t2].toList(growable: false), true)) in #t2;
+    core::num v2 = let final dynamic #t4 = "x" in let final dynamic #t5 = self::getNum() in let final dynamic #t6 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t4, #t5].toList(growable: false), true)) in #t5;
+    core::int v4 = let final dynamic #t7 = "x" in let final dynamic #t8 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t7].toList(growable: false), true)) in #t8.{core::num::==}(null) ? let final dynamic #t9 = self::getInt() in let final dynamic #t10 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t7, #t9].toList(growable: false), true)) in #t9 : #t8;
+    core::num v5 = let final dynamic #t11 = "x" in let final dynamic #t12 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t11].toList(growable: false), true)) in #t12.{core::num::==}(null) ? let final dynamic #t13 = self::getNum() in let final dynamic #t14 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t11, #t13].toList(growable: false), true)) in #t13 : #t12;
+    core::int v7 = let final dynamic #t15 = "x" in let final dynamic #t16 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t15].toList(growable: false), true)).{core::num::+}(self::getInt()) in let final dynamic #t17 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t15, #t16].toList(growable: false), true)) in #t16;
+    core::num v8 = let final dynamic #t18 = "x" in let final dynamic #t19 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t18].toList(growable: false), true)).{core::num::+}(self::getNum()) in let final dynamic #t20 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t18, #t19].toList(growable: false), true)) in #t19;
+    core::int v10 = let final dynamic #t21 = "x" in let final dynamic #t22 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t21].toList(growable: false), true)).{core::num::+}(1) in let final dynamic #t23 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t21, #t22].toList(growable: false), true)) in #t22;
+    core::int v11 = let final dynamic #t24 = "x" in let final dynamic #t25 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t24].toList(growable: false), true)) in let final dynamic #t26 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t24, #t25.{core::num::+}(1)].toList(growable: false), true)) in #t25;
+  }
+}
+abstract class Test2 extends self::Base<core::int, core::num> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::int v1 = let final dynamic #t27 = "x" in let final dynamic #t28 = self::getInt() in let final dynamic #t29 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t27, #t28].toList(growable: false), true)) in #t28;
+    core::num v2 = let final dynamic #t30 = "x" in let final dynamic #t31 = self::getNum() in let final dynamic #t32 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t30, #t31].toList(growable: false), true)) in #t31;
+    core::double v3 = let final dynamic #t33 = "x" in let final dynamic #t34 = self::getDouble() in let final dynamic #t35 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t33, #t34].toList(growable: false), true)) in #t34;
+    core::num v4 = let final dynamic #t36 = "x" in let final dynamic #t37 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t36].toList(growable: false), true)) in #t37.{core::num::==}(null) ? let final dynamic #t38 = self::getInt() in let final dynamic #t39 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t36, #t38].toList(growable: false), true)) in #t38 : #t37;
+    core::num v5 = let final dynamic #t40 = "x" in let final dynamic #t41 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t40].toList(growable: false), true)) in #t41.{core::num::==}(null) ? let final dynamic #t42 = self::getNum() in let final dynamic #t43 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t40, #t42].toList(growable: false), true)) in #t42 : #t41;
+    core::num v6 = let final dynamic #t44 = "x" in let final dynamic #t45 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t44].toList(growable: false), true)) in #t45.{core::num::==}(null) ? let final dynamic #t46 = self::getDouble() in let final dynamic #t47 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t44, #t46].toList(growable: false), true)) in #t46 : #t45;
+    core::num v7 = let final dynamic #t48 = "x" in let final dynamic #t49 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t48].toList(growable: false), true)).{core::num::+}(self::getInt()) in let final dynamic #t50 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t48, #t49].toList(growable: false), true)) in #t49;
+    core::num v8 = let final dynamic #t51 = "x" in let final dynamic #t52 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t51].toList(growable: false), true)).{core::num::+}(self::getNum()) in let final dynamic #t53 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t51, #t52].toList(growable: false), true)) in #t52;
+    core::num v9 = let final dynamic #t54 = "x" in let final dynamic #t55 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t54].toList(growable: false), true)).{core::num::+}(self::getDouble()) in let final dynamic #t56 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t54, #t55].toList(growable: false), true)) in #t55;
+    core::num v10 = let final dynamic #t57 = "x" in let final dynamic #t58 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t57].toList(growable: false), true)).{core::num::+}(1) in let final dynamic #t59 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t57, #t58].toList(growable: false), true)) in #t58;
+    core::num v11 = let final dynamic #t60 = "x" in let final dynamic #t61 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t60].toList(growable: false), true)) in let final dynamic #t62 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t60, #t61.{core::num::+}(1)].toList(growable: false), true)) in #t61;
+  }
+}
+abstract class Test3 extends self::Base<core::int, core::double> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::num v2 = let final dynamic #t63 = "x" in let final dynamic #t64 = self::getNum() in let final dynamic #t65 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t63, #t64].toList(growable: false), true)) in #t64;
+    core::double v3 = let final dynamic #t66 = "x" in let final dynamic #t67 = self::getDouble() in let final dynamic #t68 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t66, #t67].toList(growable: false), true)) in #t67;
+    core::num v5 = let final dynamic #t69 = "x" in let final dynamic #t70 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t69].toList(growable: false), true)) in #t70.{core::num::==}(null) ? let final dynamic #t71 = self::getNum() in let final dynamic #t72 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t69, #t71].toList(growable: false), true)) in #t71 : #t70;
+    core::double v6 = let final dynamic #t73 = "x" in let final dynamic #t74 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t73].toList(growable: false), true)) in #t74.{core::num::==}(null) ? let final dynamic #t75 = self::getDouble() in let final dynamic #t76 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t73, #t75].toList(growable: false), true)) in #t75 : #t74;
+    core::double v7 = let final dynamic #t77 = "x" in let final dynamic #t78 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t77].toList(growable: false), true)).{core::double::+}(self::getInt()) in let final dynamic #t79 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t77, #t78].toList(growable: false), true)) in #t78;
+    core::double v8 = let final dynamic #t80 = "x" in let final dynamic #t81 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t80].toList(growable: false), true)).{core::double::+}(self::getNum()) in let final dynamic #t82 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t80, #t81].toList(growable: false), true)) in #t81;
+    core::double v9 = let final dynamic #t83 = "x" in let final dynamic #t84 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t83].toList(growable: false), true)).{core::double::+}(self::getDouble()) in let final dynamic #t85 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t83, #t84].toList(growable: false), true)) in #t84;
+    core::double v10 = let final dynamic #t86 = "x" in let final dynamic #t87 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t86].toList(growable: false), true)).{core::double::+}(1) in let final dynamic #t88 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t86, #t87].toList(growable: false), true)) in #t87;
+    core::double v11 = let final dynamic #t89 = "x" in let final dynamic #t90 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t89].toList(growable: false), true)) in let final dynamic #t91 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t89, #t90.{core::double::+}(1)].toList(growable: false), true)) in #t90;
+  }
+}
+abstract class Test4 extends self::Base<core::num, core::int> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::int v1 = let final dynamic #t92 = "x" in let final dynamic #t93 = self::getInt() in let final dynamic #t94 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t92, #t93].toList(growable: false), true)) in #t93;
+    core::num v2 = let final dynamic #t95 = "x" in let final dynamic #t96 = self::getNum() in let final dynamic #t97 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t95, #t96].toList(growable: false), true)) in #t96;
+    core::int v4 = let final dynamic #t98 = "x" in let final dynamic #t99 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t98].toList(growable: false), true)) in #t99.{core::num::==}(null) ? let final dynamic #t100 = self::getInt() in let final dynamic #t101 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t98, #t100].toList(growable: false), true)) in #t100 : #t99;
+    core::num v5 = let final dynamic #t102 = "x" in let final dynamic #t103 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t102].toList(growable: false), true)) in #t103.{core::num::==}(null) ? let final dynamic #t104 = self::getNum() in let final dynamic #t105 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t102, #t104].toList(growable: false), true)) in #t104 : #t103;
+    core::int v7 = let final dynamic #t106 = "x" in let final dynamic #t107 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t106].toList(growable: false), true)).{core::num::+}(self::getInt()) in let final dynamic #t108 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t106, #t107].toList(growable: false), true)) in #t107;
+    core::num v8 = let final dynamic #t109 = "x" in let final dynamic #t110 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t109].toList(growable: false), true)).{core::num::+}(self::getNum()) in let final dynamic #t111 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t109, #t110].toList(growable: false), true)) in #t110;
+    core::int v10 = let final dynamic #t112 = "x" in let final dynamic #t113 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t112].toList(growable: false), true)).{core::num::+}(1) in let final dynamic #t114 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t112, #t113].toList(growable: false), true)) in #t113;
+    core::int v11 = let final dynamic #t115 = "x" in let final dynamic #t116 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t115].toList(growable: false), true)) in let final dynamic #t117 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t115, #t116.{core::num::+}(1)].toList(growable: false), true)) in #t116;
+  }
+}
+abstract class Test5 extends self::Base<core::num, core::num> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::int v1 = let final dynamic #t118 = "x" in let final dynamic #t119 = self::getInt() in let final dynamic #t120 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t118, #t119].toList(growable: false), true)) in #t119;
+    core::num v2 = let final dynamic #t121 = "x" in let final dynamic #t122 = self::getNum() in let final dynamic #t123 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t121, #t122].toList(growable: false), true)) in #t122;
+    core::double v3 = let final dynamic #t124 = "x" in let final dynamic #t125 = self::getDouble() in let final dynamic #t126 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t124, #t125].toList(growable: false), true)) in #t125;
+    core::num v4 = let final dynamic #t127 = "x" in let final dynamic #t128 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t127].toList(growable: false), true)) in #t128.{core::num::==}(null) ? let final dynamic #t129 = self::getInt() in let final dynamic #t130 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t127, #t129].toList(growable: false), true)) in #t129 : #t128;
+    core::num v5 = let final dynamic #t131 = "x" in let final dynamic #t132 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t131].toList(growable: false), true)) in #t132.{core::num::==}(null) ? let final dynamic #t133 = self::getNum() in let final dynamic #t134 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t131, #t133].toList(growable: false), true)) in #t133 : #t132;
+    core::num v6 = let final dynamic #t135 = "x" in let final dynamic #t136 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t135].toList(growable: false), true)) in #t136.{core::num::==}(null) ? let final dynamic #t137 = self::getDouble() in let final dynamic #t138 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t135, #t137].toList(growable: false), true)) in #t137 : #t136;
+    core::num v7 = let final dynamic #t139 = "x" in let final dynamic #t140 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t139].toList(growable: false), true)).{core::num::+}(self::getInt()) in let final dynamic #t141 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t139, #t140].toList(growable: false), true)) in #t140;
+    core::num v8 = let final dynamic #t142 = "x" in let final dynamic #t143 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t142].toList(growable: false), true)).{core::num::+}(self::getNum()) in let final dynamic #t144 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t142, #t143].toList(growable: false), true)) in #t143;
+    core::num v9 = let final dynamic #t145 = "x" in let final dynamic #t146 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t145].toList(growable: false), true)).{core::num::+}(self::getDouble()) in let final dynamic #t147 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t145, #t146].toList(growable: false), true)) in #t146;
+    core::num v10 = let final dynamic #t148 = "x" in let final dynamic #t149 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t148].toList(growable: false), true)).{core::num::+}(1) in let final dynamic #t150 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t148, #t149].toList(growable: false), true)) in #t149;
+    core::num v11 = let final dynamic #t151 = "x" in let final dynamic #t152 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t151].toList(growable: false), true)) in let final dynamic #t153 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t151, #t152.{core::num::+}(1)].toList(growable: false), true)) in #t152;
+  }
+}
+abstract class Test6 extends self::Base<core::num, core::double> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::num v2 = let final dynamic #t154 = "x" in let final dynamic #t155 = self::getNum() in let final dynamic #t156 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t154, #t155].toList(growable: false), true)) in #t155;
+    core::double v3 = let final dynamic #t157 = "x" in let final dynamic #t158 = self::getDouble() in let final dynamic #t159 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t157, #t158].toList(growable: false), true)) in #t158;
+    core::num v5 = let final dynamic #t160 = "x" in let final dynamic #t161 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t160].toList(growable: false), true)) in #t161.{core::num::==}(null) ? let final dynamic #t162 = self::getNum() in let final dynamic #t163 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t160, #t162].toList(growable: false), true)) in #t162 : #t161;
+    core::double v6 = let final dynamic #t164 = "x" in let final dynamic #t165 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t164].toList(growable: false), true)) in #t165.{core::num::==}(null) ? let final dynamic #t166 = self::getDouble() in let final dynamic #t167 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t164, #t166].toList(growable: false), true)) in #t166 : #t165;
+    core::double v7 = let final dynamic #t168 = "x" in let final dynamic #t169 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t168].toList(growable: false), true)).{core::double::+}(self::getInt()) in let final dynamic #t170 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t168, #t169].toList(growable: false), true)) in #t169;
+    core::double v8 = let final dynamic #t171 = "x" in let final dynamic #t172 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t171].toList(growable: false), true)).{core::double::+}(self::getNum()) in let final dynamic #t173 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t171, #t172].toList(growable: false), true)) in #t172;
+    core::double v9 = let final dynamic #t174 = "x" in let final dynamic #t175 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t174].toList(growable: false), true)).{core::double::+}(self::getDouble()) in let final dynamic #t176 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t174, #t175].toList(growable: false), true)) in #t175;
+    core::double v10 = let final dynamic #t177 = "x" in let final dynamic #t178 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t177].toList(growable: false), true)).{core::double::+}(1) in let final dynamic #t179 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t177, #t178].toList(growable: false), true)) in #t178;
+    core::double v11 = let final dynamic #t180 = "x" in let final dynamic #t181 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t180].toList(growable: false), true)) in let final dynamic #t182 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t180, #t181.{core::double::+}(1)].toList(growable: false), true)) in #t181;
+  }
+}
+abstract class Test7 extends self::Base<core::double, core::int> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::int v1 = let final dynamic #t183 = "x" in let final dynamic #t184 = self::getInt() in let final dynamic #t185 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t183, #t184].toList(growable: false), true)) in #t184;
+    core::num v2 = let final dynamic #t186 = "x" in let final dynamic #t187 = self::getNum() in let final dynamic #t188 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t186, #t187].toList(growable: false), true)) in #t187;
+    core::int v4 = let final dynamic #t189 = "x" in let final dynamic #t190 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t189].toList(growable: false), true)) in #t190.{core::num::==}(null) ? let final dynamic #t191 = self::getInt() in let final dynamic #t192 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t189, #t191].toList(growable: false), true)) in #t191 : #t190;
+    core::num v5 = let final dynamic #t193 = "x" in let final dynamic #t194 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t193].toList(growable: false), true)) in #t194.{core::num::==}(null) ? let final dynamic #t195 = self::getNum() in let final dynamic #t196 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t193, #t195].toList(growable: false), true)) in #t195 : #t194;
+    core::int v7 = let final dynamic #t197 = "x" in let final dynamic #t198 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t197].toList(growable: false), true)).{core::num::+}(self::getInt()) in let final dynamic #t199 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t197, #t198].toList(growable: false), true)) in #t198;
+    core::num v8 = let final dynamic #t200 = "x" in let final dynamic #t201 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t200].toList(growable: false), true)).{core::num::+}(self::getNum()) in let final dynamic #t202 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t200, #t201].toList(growable: false), true)) in #t201;
+    core::int v10 = let final dynamic #t203 = "x" in let final dynamic #t204 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t203].toList(growable: false), true)).{core::num::+}(1) in let final dynamic #t205 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t203, #t204].toList(growable: false), true)) in #t204;
+    core::int v11 = let final dynamic #t206 = "x" in let final dynamic #t207 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t206].toList(growable: false), true)) in let final dynamic #t208 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t206, #t207.{core::num::+}(1)].toList(growable: false), true)) in #t207;
+  }
+}
+abstract class Test8 extends self::Base<core::double, core::num> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::int v1 = let final dynamic #t209 = "x" in let final dynamic #t210 = self::getInt() in let final dynamic #t211 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t209, #t210].toList(growable: false), true)) in #t210;
+    core::num v2 = let final dynamic #t212 = "x" in let final dynamic #t213 = self::getNum() in let final dynamic #t214 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t212, #t213].toList(growable: false), true)) in #t213;
+    core::double v3 = let final dynamic #t215 = "x" in let final dynamic #t216 = self::getDouble() in let final dynamic #t217 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t215, #t216].toList(growable: false), true)) in #t216;
+    core::num v4 = let final dynamic #t218 = "x" in let final dynamic #t219 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t218].toList(growable: false), true)) in #t219.{core::num::==}(null) ? let final dynamic #t220 = self::getInt() in let final dynamic #t221 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t218, #t220].toList(growable: false), true)) in #t220 : #t219;
+    core::num v5 = let final dynamic #t222 = "x" in let final dynamic #t223 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t222].toList(growable: false), true)) in #t223.{core::num::==}(null) ? let final dynamic #t224 = self::getNum() in let final dynamic #t225 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t222, #t224].toList(growable: false), true)) in #t224 : #t223;
+    core::num v6 = let final dynamic #t226 = "x" in let final dynamic #t227 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t226].toList(growable: false), true)) in #t227.{core::num::==}(null) ? let final dynamic #t228 = self::getDouble() in let final dynamic #t229 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t226, #t228].toList(growable: false), true)) in #t228 : #t227;
+    core::num v7 = let final dynamic #t230 = "x" in let final dynamic #t231 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t230].toList(growable: false), true)).{core::num::+}(self::getInt()) in let final dynamic #t232 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t230, #t231].toList(growable: false), true)) in #t231;
+    core::num v8 = let final dynamic #t233 = "x" in let final dynamic #t234 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t233].toList(growable: false), true)).{core::num::+}(self::getNum()) in let final dynamic #t235 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t233, #t234].toList(growable: false), true)) in #t234;
+    core::num v9 = let final dynamic #t236 = "x" in let final dynamic #t237 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t236].toList(growable: false), true)).{core::num::+}(self::getDouble()) in let final dynamic #t238 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t236, #t237].toList(growable: false), true)) in #t237;
+    core::num v10 = let final dynamic #t239 = "x" in let final dynamic #t240 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t239].toList(growable: false), true)).{core::num::+}(1) in let final dynamic #t241 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t239, #t240].toList(growable: false), true)) in #t240;
+    core::num v11 = let final dynamic #t242 = "x" in let final dynamic #t243 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t242].toList(growable: false), true)) in let final dynamic #t244 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t242, #t243.{core::num::+}(1)].toList(growable: false), true)) in #t243;
+  }
+}
+abstract class Test9 extends self::Base<core::double, core::double> {
+  constructor •() → void
+    : super self::Base::•()
+    ;
+  method test() → void {
+    core::num v2 = let final dynamic #t245 = "x" in let final dynamic #t246 = self::getNum() in let final dynamic #t247 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t245, #t246].toList(growable: false), true)) in #t246;
+    core::double v3 = let final dynamic #t248 = "x" in let final dynamic #t249 = self::getDouble() in let final dynamic #t250 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t248, #t249].toList(growable: false), true)) in #t249;
+    core::num v5 = let final dynamic #t251 = "x" in let final dynamic #t252 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t251].toList(growable: false), true)) in #t252.{core::num::==}(null) ? let final dynamic #t253 = self::getNum() in let final dynamic #t254 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t251, #t253].toList(growable: false), true)) in #t253 : #t252;
+    core::double v6 = let final dynamic #t255 = "x" in let final dynamic #t256 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t255].toList(growable: false), true)) in #t256.{core::num::==}(null) ? let final dynamic #t257 = self::getDouble() in let final dynamic #t258 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t255, #t257].toList(growable: false), true)) in #t257 : #t256;
+    core::double v7 = let final dynamic #t259 = "x" in let final dynamic #t260 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t259].toList(growable: false), true)).{core::double::+}(self::getInt()) in let final dynamic #t261 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t259, #t260].toList(growable: false), true)) in #t260;
+    core::double v8 = let final dynamic #t262 = "x" in let final dynamic #t263 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t262].toList(growable: false), true)).{core::double::+}(self::getNum()) in let final dynamic #t264 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t262, #t263].toList(growable: false), true)) in #t263;
+    core::double v9 = let final dynamic #t265 = "x" in let final dynamic #t266 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t265].toList(growable: false), true)).{core::double::+}(self::getDouble()) in let final dynamic #t267 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t265, #t266].toList(growable: false), true)) in #t266;
+    core::double v10 = let final dynamic #t268 = "x" in let final dynamic #t269 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t268].toList(growable: false), true)).{core::double::+}(1) in let final dynamic #t270 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t268, #t269].toList(growable: false), true)) in #t269;
+    core::double v11 = let final dynamic #t271 = "x" in let final dynamic #t272 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, #t271].toList(growable: false), true)) in let final dynamic #t273 = this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]=", <dynamic>[0, 3, 3].toList(growable: false), <dynamic>[this, #t271, #t272.{core::double::+}(1)].toList(growable: false), true)) in #t272;
+  }
+}
+static method getInt() → core::int
+  return 0;
+static method getNum() → core::num
+  return 0;
+static method getDouble() → core::double
+  return 0.0;
+static method main() → dynamic {}