More extensive error handling for 'unresolved' cases.

test/kernel/regression/super.dart.txt

Index: test/kernel/regression/super.dart.txt
diff --git a/test/kernel/regression/super.dart.txt b/test/kernel/regression/super.dart.txt
index 001e94f7e16cfcf1edea40847ebd4c2fd1dac5f3..54706e42d92800c5447c569ec23818922813e10c 100644
--- a/test/kernel/regression/super.dart.txt
+++ b/test/kernel/regression/super.dart.txt
@@ -76,8 +76,8 @@ class C extends self::B {
     self::use(super.self::A::[](87));
     super.self::A::m;
     self::use(super.self::A::m);
-    invalid-expression;
-    self::use(invalid-expression);
+    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);
@@ -86,46 +86,46 @@ class C extends self::B {
     self::use(let final dynamic #t5 = super.self::A::c in let final dynamic #t6 = super.self::B::c = #t5.+(1) in #t5);
     let final dynamic #t7 = super.self::B::d.+(1) in invalid-expression;
     self::use(let final dynamic #t8 = super.self::B::d in let final dynamic #t9 = let final dynamic #t10 = #t8.+(1) in invalid-expression in #t8);
-    invalid-expression;
-    self::use(invalid-expression);
-    let final dynamic #t11 = super.self::A::f.+(1) in invalid-expression;
-    self::use(let final dynamic #t12 = super.self::A::f in let final dynamic #t13 = let final dynamic #t14 = #t12.+(1) in invalid-expression in #t12);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t11 = super.self::A::e in let final dynamic #t12 = throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[#t11.+(1)], <dynamic, dynamic>{}, null) in #t11;
+    self::use(let final dynamic #t13 = super.self::A::e in let final dynamic #t14 = throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[#t13.+(1)], <dynamic, dynamic>{}, null) in #t13);
+    let final dynamic #t15 = super.self::A::f.+(1) in invalid-expression;
+    self::use(let final dynamic #t16 = super.self::A::f in let final dynamic #t17 = let final dynamic #t18 = #t16.+(1) in invalid-expression in #t16);
+    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 #t15 = super.self::A::h in let final dynamic #t16 = super.self::A::h = #t15.+(1) in #t15);
+    self::use(let final dynamic #t19 = super.self::A::h in let final dynamic #t20 = super.self::A::h = #t19.+(1) in #t19);
     super.self::B::i = super.self::A::i.+(1);
-    self::use(let final dynamic #t17 = super.self::A::i in let final dynamic #t18 = super.self::B::i = #t17.+(1) in #t17);
-    let final dynamic #t19 = 87 in super.self::A::[]=(#t19, super.self::A::[](#t19).+(1));
-    self::use(let final dynamic #t20 = 87 in let final dynamic #t21 = super.self::A::[](#t20) in let final dynamic #t22 = super.self::A::[]=(#t20, #t21.+(1)) in #t21);
-    let final dynamic #t23 = super.self::A::m.+(1) in invalid-expression;
-    self::use(let final dynamic #t24 = super.self::A::m in let final dynamic #t25 = let final dynamic #t26 = #t24.+(1) in invalid-expression in #t24);
-    invalid-expression;
-    self::use(invalid-expression);
+    self::use(let final dynamic #t21 = super.self::A::i in let final dynamic #t22 = super.self::B::i = #t21.+(1) in #t21);
+    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) in let final dynamic #t26 = super.self::A::[]=(#t24, #t25.+(1)) in #t25);
+    let final dynamic #t27 = super.self::A::m.+(1) in invalid-expression;
+    self::use(let final dynamic #t28 = super.self::A::m in let final dynamic #t29 = let final dynamic #t30 = #t28.+(1) in invalid-expression in #t28);
+    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));
-    let final dynamic #t27 = super.self::B::d.+(1) in invalid-expression;
-    self::use(let final dynamic #t28 = super.self::B::d.+(1) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
-    let final dynamic #t29 = super.self::A::f.+(1) in invalid-expression;
-    self::use(let final dynamic #t30 = super.self::A::f.+(1) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t31 = super.self::B::d.+(1) in invalid-expression;
+    self::use(let final dynamic #t32 = super.self::B::d.+(1) in invalid-expression);
+    throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[super.self::A::e.+(1)], <dynamic, dynamic>{}, null);
+    self::use(throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[super.self::A::e.+(1)], <dynamic, dynamic>{}, null));
+    let final dynamic #t33 = super.self::A::f.+(1) in invalid-expression;
+    self::use(let final dynamic #t34 = super.self::A::f.+(1) in invalid-expression);
+    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 #t31 = 87 in super.self::A::[]=(#t31, super.self::A::[](#t31).+(1));
-    self::use(let final dynamic #t32 = 87 in super.self::A::[]=(#t32, super.self::A::[](#t32).+(1)));
-    let final dynamic #t33 = super.self::A::m.+(1) in invalid-expression;
-    self::use(let final dynamic #t34 = super.self::A::m.+(1) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t35 = 87 in super.self::A::[]=(#t35, super.self::A::[](#t35).+(1));
+    self::use(let final dynamic #t36 = 87 in super.self::A::[]=(#t36, super.self::A::[](#t36).+(1)));
+    let final dynamic #t37 = super.self::A::m.+(1) in invalid-expression;
+    self::use(let final dynamic #t38 = super.self::A::m.+(1) in invalid-expression);
+    throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null);
+    self::use(throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null));
     super.self::A::a.call();
     self::use(super.self::A::a.call());
     super.self::B::b.call();
@@ -150,20 +150,20 @@ class C extends self::B {
     self::use(super.self::A::m());
     super.self::A::m(87);
     self::use(super.self::A::m(87));
-    invalid-expression;
-    self::use(invalid-expression);
+    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);
-    let final dynamic #t35 = 42 in invalid-expression;
-    self::use(let final dynamic #t36 = 42 in invalid-expression);
-    let final dynamic #t37 = 42 in invalid-expression;
-    self::use(let final dynamic #t38 = 42 in invalid-expression);
     let final dynamic #t39 = 42 in invalid-expression;
     self::use(let final dynamic #t40 = 42 in invalid-expression);
+    let final dynamic #t41 = 42 in invalid-expression;
+    self::use(let final dynamic #t42 = 42 in invalid-expression);
+    let final dynamic #t43 = 42 in invalid-expression;
+    self::use(let final dynamic #t44 = 42 in invalid-expression);
     super.self::A::g = 42;
     self::use(super.self::A::g = 42);
     super.self::A::h = 42;
@@ -172,82 +172,82 @@ class C extends self::B {
     self::use(super.self::B::i = 42);
     super.self::A::[]=(87, 42);
     self::use(super.self::A::[]=(87, 42));
-    let final dynamic #t41 = 42 in invalid-expression;
-    self::use(let final dynamic #t42 = 42 in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t45 = 42 in invalid-expression;
+    self::use(let final dynamic #t46 = 42 in invalid-expression);
+    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) ? null : super.self::A::a = 42;
     self::use(super.self::A::a.==(null) ? null : super.self::A::a = 42);
     super.self::B::b.==(null) ? null : super.self::A::b = 42;
     self::use(super.self::B::b.==(null) ? null : super.self::A::b = 42);
     super.self::A::c.==(null) ? null : super.self::B::c = 42;
     self::use(super.self::A::c.==(null) ? null : super.self::B::c = 42);
-    super.self::B::d.==(null) ? null : let final dynamic #t43 = 42 in invalid-expression;
-    self::use(super.self::B::d.==(null) ? null : let final dynamic #t44 = 42 in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
-    super.self::A::f.==(null) ? null : let final dynamic #t45 = 42 in invalid-expression;
-    self::use(super.self::A::f.==(null) ? null : let final dynamic #t46 = 42 in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    super.self::B::d.==(null) ? null : let final dynamic #t47 = 42 in invalid-expression;
+    self::use(super.self::B::d.==(null) ? null : let final dynamic #t48 = 42 in invalid-expression);
+    super.self::A::e.==(null) ? null : throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[42], <dynamic, dynamic>{}, null);
+    self::use(super.self::A::e.==(null) ? null : throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[42], <dynamic, dynamic>{}, null));
+    super.self::A::f.==(null) ? null : let final dynamic #t49 = 42 in invalid-expression;
+    self::use(super.self::A::f.==(null) ? null : let final dynamic #t50 = 42 in invalid-expression);
+    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) ? null : super.self::A::h = 42;
     self::use(super.self::A::h.==(null) ? null : super.self::A::h = 42);
     super.self::A::i.==(null) ? null : super.self::B::i = 42;
     self::use(super.self::A::i.==(null) ? null : super.self::B::i = 42);
-    let final dynamic #t47 = 87 in super.self::A::[](#t47).==(null) ? null : super.self::A::[]=(#t47, 42);
-    self::use(let final dynamic #t48 = 87 in super.self::A::[](#t48).==(null) ? null : super.self::A::[]=(#t48, 42));
-    super.self::A::m.==(null) ? null : let final dynamic #t49 = 42 in invalid-expression;
-    self::use(super.self::A::m.==(null) ? null : let final dynamic #t50 = 42 in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t51 = 87 in super.self::A::[](#t51).==(null) ? null : super.self::A::[]=(#t51, 42);
+    self::use(let final dynamic #t52 = 87 in super.self::A::[](#t52).==(null) ? null : super.self::A::[]=(#t52, 42));
+    super.self::A::m.==(null) ? null : let final dynamic #t53 = 42 in invalid-expression;
+    self::use(super.self::A::m.==(null) ? null : let final dynamic #t54 = 42 in invalid-expression);
+    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));
-    let final dynamic #t51 = super.self::B::d.+(42) in invalid-expression;
-    self::use(let final dynamic #t52 = super.self::B::d.+(42) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
-    let final dynamic #t53 = super.self::A::f.+(42) in invalid-expression;
-    self::use(let final dynamic #t54 = super.self::A::f.+(42) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t55 = super.self::B::d.+(42) in invalid-expression;
+    self::use(let final dynamic #t56 = super.self::B::d.+(42) in invalid-expression);
+    throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[super.self::A::e.+(42)], <dynamic, dynamic>{}, null);
+    self::use(throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[super.self::A::e.+(42)], <dynamic, dynamic>{}, null));
+    let final dynamic #t57 = super.self::A::f.+(42) in invalid-expression;
+    self::use(let final dynamic #t58 = super.self::A::f.+(42) in invalid-expression);
+    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 #t55 = 87 in super.self::A::[]=(#t55, super.self::A::[](#t55).+(42));
-    self::use(let final dynamic #t56 = 87 in super.self::A::[]=(#t56, super.self::A::[](#t56).+(42)));
-    let final dynamic #t57 = super.self::A::m.+(42) in invalid-expression;
-    self::use(let final dynamic #t58 = super.self::A::m.+(42) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t59 = 87 in super.self::A::[]=(#t59, super.self::A::[](#t59).+(42));
+    self::use(let final dynamic #t60 = 87 in super.self::A::[]=(#t60, super.self::A::[](#t60).+(42)));
+    let final dynamic #t61 = super.self::A::m.+(42) in invalid-expression;
+    self::use(let final dynamic #t62 = super.self::A::m.+(42) in invalid-expression);
+    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));
-    let final dynamic #t59 = super.self::B::d.-(42) in invalid-expression;
-    self::use(let final dynamic #t60 = super.self::B::d.-(42) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
-    let final dynamic #t61 = super.self::A::f.-(42) in invalid-expression;
-    self::use(let final dynamic #t62 = super.self::A::f.-(42) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t63 = super.self::B::d.-(42) in invalid-expression;
+    self::use(let final dynamic #t64 = super.self::B::d.-(42) in invalid-expression);
+    throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[super.self::A::e.-(42)], <dynamic, dynamic>{}, null);
+    self::use(throw core::_unresolvedSuperSetterError(this, #e, <dynamic>[super.self::A::e.-(42)], <dynamic, dynamic>{}, null));
+    let final dynamic #t65 = super.self::A::f.-(42) in invalid-expression;
+    self::use(let final dynamic #t66 = super.self::A::f.-(42) in invalid-expression);
+    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 #t63 = 87 in super.self::A::[]=(#t63, super.self::A::[](#t63).-(42));
-    self::use(let final dynamic #t64 = 87 in super.self::A::[]=(#t64, super.self::A::[](#t64).-(42)));
-    let final dynamic #t65 = super.self::A::m.-(42) in invalid-expression;
-    self::use(let final dynamic #t66 = super.self::A::m.-(42) in invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
+    let final dynamic #t67 = 87 in super.self::A::[]=(#t67, super.self::A::[](#t67).-(42));
+    self::use(let final dynamic #t68 = 87 in super.self::A::[]=(#t68, super.self::A::[](#t68).-(42)));
+    let final dynamic #t69 = super.self::A::m.-(42) in invalid-expression;
+    self::use(let final dynamic #t70 = super.self::A::m.-(42) in invalid-expression);
+    throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null);
+    self::use(throw core::_unresolvedSuperGetterError(this, #n, <dynamic>[], <dynamic, dynamic>{}, null));
   }
 }
 static method use(dynamic x) → dynamic {