More extensive error handling for 'unresolved' cases.

test/kernel/regression/type_literals.dart.txt

Index: test/kernel/regression/type_literals.dart.txt
diff --git a/test/kernel/regression/type_literals.dart.txt b/test/kernel/regression/type_literals.dart.txt
index 6144927ea5bd437efe0c53bfa5104cf671b77304..bcaa7eb6e22490a44116fa6303d476d897cdf9c4 100644
--- a/test/kernel/regression/type_literals.dart.txt
+++ b/test/kernel/regression/type_literals.dart.txt
@@ -22,70 +22,70 @@ class C<T  extends  core::Object> extends core::Object {
     self::use(self::C::T.call());
     () → void.call();
     self::use(() → void.call());
-    invalid-expression;
-    self::use(invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
-    invalid-expression;
-    self::use(invalid-expression);
-    let final dynamic #t1 = self::C<dynamic> in invalid-expression;
-    self::use(let final dynamic #t2 = self::C<dynamic> in let final dynamic #t3 = #t2 in let final dynamic #t4 = invalid-expression in #t3);
-    let final dynamic #t5 = dynamic in invalid-expression;
-    self::use(let final dynamic #t6 = dynamic in let final dynamic #t7 = #t6 in let final dynamic #t8 = invalid-expression in #t7);
-    let final dynamic #t9 = self::C::T in invalid-expression;
-    self::use(let final dynamic #t10 = self::C::T in let final dynamic #t11 = #t10 in let final dynamic #t12 = invalid-expression in #t11);
-    let final dynamic #t13 = () → void in invalid-expression;
-    self::use(let final dynamic #t14 = () → void in let final dynamic #t15 = #t14 in let final dynamic #t16 = invalid-expression in #t15);
-    let final dynamic #t17 = self::C<dynamic> in invalid-expression;
-    self::use(let final dynamic #t18 = self::C<dynamic> in invalid-expression);
-    let final dynamic #t19 = dynamic in invalid-expression;
-    self::use(let final dynamic #t20 = dynamic in invalid-expression);
-    let final dynamic #t21 = self::C::T in invalid-expression;
-    self::use(let final dynamic #t22 = self::C::T in invalid-expression);
-    let final dynamic #t23 = () → void in invalid-expression;
-    self::use(let final dynamic #t24 = () → void in invalid-expression);
-    let final dynamic #t25 = self::C<dynamic> in invalid-expression;
-    self::use(let final dynamic #t26 = self::C<dynamic> in let final dynamic #t27 = #t26 in let final dynamic #t28 = invalid-expression in #t27);
-    let final dynamic #t29 = dynamic in invalid-expression;
-    self::use(let final dynamic #t30 = dynamic in let final dynamic #t31 = #t30 in let final dynamic #t32 = invalid-expression in #t31);
-    let final dynamic #t33 = self::C::T in invalid-expression;
-    self::use(let final dynamic #t34 = self::C::T in let final dynamic #t35 = #t34 in let final dynamic #t36 = invalid-expression in #t35);
-    let final dynamic #t37 = () → void in invalid-expression;
-    self::use(let final dynamic #t38 = () → void in let final dynamic #t39 = #t38 in let final dynamic #t40 = invalid-expression in #t39);
-    let final dynamic #t41 = self::C<dynamic> in invalid-expression;
-    self::use(let final dynamic #t42 = self::C<dynamic> in invalid-expression);
-    let final dynamic #t43 = dynamic in invalid-expression;
-    self::use(let final dynamic #t44 = dynamic in invalid-expression);
-    let final dynamic #t45 = self::C::T in invalid-expression;
-    self::use(let final dynamic #t46 = self::C::T in invalid-expression);
-    let final dynamic #t47 = () → void in invalid-expression;
-    self::use(let final dynamic #t48 = () → void in invalid-expression);
+    let final dynamic #t1 = 42 in invalid-expression;
+    self::use(let final dynamic #t2 = 42 in invalid-expression);
+    let final dynamic #t3 = 42 in invalid-expression;
+    self::use(let final dynamic #t4 = 42 in invalid-expression);
+    let final dynamic #t5 = 42 in invalid-expression;
+    self::use(let final dynamic #t6 = 42 in invalid-expression);
+    let final dynamic #t7 = 42 in invalid-expression;
+    self::use(let final dynamic #t8 = 42 in invalid-expression);
+    let final dynamic #t9 = self::C<dynamic> in let final dynamic #t10 = #t9.+(1) in invalid-expression;
+    self::use(let final dynamic #t11 = self::C<dynamic> in let final dynamic #t12 = #t11 in let final dynamic #t13 = let final dynamic #t14 = #t12.+(1) in invalid-expression in #t12);
+    let final dynamic #t15 = dynamic in let final dynamic #t16 = #t15.+(1) in invalid-expression;
+    self::use(let final dynamic #t17 = dynamic in let final dynamic #t18 = #t17 in let final dynamic #t19 = let final dynamic #t20 = #t18.+(1) in invalid-expression in #t18);
+    let final dynamic #t21 = self::C::T in let final dynamic #t22 = #t21.+(1) in invalid-expression;
+    self::use(let final dynamic #t23 = self::C::T in let final dynamic #t24 = #t23 in let final dynamic #t25 = let final dynamic #t26 = #t24.+(1) in invalid-expression in #t24);
+    let final dynamic #t27 = () → void in let final dynamic #t28 = #t27.+(1) in invalid-expression;
+    self::use(let final dynamic #t29 = () → void in let final dynamic #t30 = #t29 in let final dynamic #t31 = let final dynamic #t32 = #t30.+(1) in invalid-expression in #t30);
+    let final dynamic #t33 = self::C<dynamic> in let final dynamic #t34 = #t33.+(1) in invalid-expression;
+    self::use(let final dynamic #t35 = self::C<dynamic> in let final dynamic #t36 = #t35.+(1) in invalid-expression);
+    let final dynamic #t37 = dynamic in let final dynamic #t38 = #t37.+(1) in invalid-expression;
+    self::use(let final dynamic #t39 = dynamic in let final dynamic #t40 = #t39.+(1) in invalid-expression);
+    let final dynamic #t41 = self::C::T in let final dynamic #t42 = #t41.+(1) in invalid-expression;
+    self::use(let final dynamic #t43 = self::C::T in let final dynamic #t44 = #t43.+(1) in invalid-expression);
+    let final dynamic #t45 = () → void in let final dynamic #t46 = #t45.+(1) in invalid-expression;
+    self::use(let final dynamic #t47 = () → void in let final dynamic #t48 = #t47.+(1) in invalid-expression);
+    let final dynamic #t49 = self::C<dynamic> in let final dynamic #t50 = #t49.-(1) in invalid-expression;
+    self::use(let final dynamic #t51 = self::C<dynamic> in let final dynamic #t52 = #t51 in let final dynamic #t53 = let final dynamic #t54 = #t52.-(1) in invalid-expression in #t52);
+    let final dynamic #t55 = dynamic in let final dynamic #t56 = #t55.-(1) in invalid-expression;
+    self::use(let final dynamic #t57 = dynamic in let final dynamic #t58 = #t57 in let final dynamic #t59 = let final dynamic #t60 = #t58.-(1) in invalid-expression in #t58);
+    let final dynamic #t61 = self::C::T in let final dynamic #t62 = #t61.-(1) in invalid-expression;
+    self::use(let final dynamic #t63 = self::C::T in let final dynamic #t64 = #t63 in let final dynamic #t65 = let final dynamic #t66 = #t64.-(1) in invalid-expression in #t64);
+    let final dynamic #t67 = () → void in let final dynamic #t68 = #t67.-(1) in invalid-expression;
+    self::use(let final dynamic #t69 = () → void in let final dynamic #t70 = #t69 in let final dynamic #t71 = let final dynamic #t72 = #t70.-(1) in invalid-expression in #t70);
+    let final dynamic #t73 = self::C<dynamic> in let final dynamic #t74 = #t73.-(1) in invalid-expression;
+    self::use(let final dynamic #t75 = self::C<dynamic> in let final dynamic #t76 = #t75.-(1) in invalid-expression);
+    let final dynamic #t77 = dynamic in let final dynamic #t78 = #t77.-(1) in invalid-expression;
+    self::use(let final dynamic #t79 = dynamic in let final dynamic #t80 = #t79.-(1) in invalid-expression);
+    let final dynamic #t81 = self::C::T in let final dynamic #t82 = #t81.-(1) in invalid-expression;
+    self::use(let final dynamic #t83 = self::C::T in let final dynamic #t84 = #t83.-(1) in invalid-expression);
+    let final dynamic #t85 = () → void in let final dynamic #t86 = #t85.-(1) in invalid-expression;
+    self::use(let final dynamic #t87 = () → void in let final dynamic #t88 = #t87.-(1) in invalid-expression);
     self::C<dynamic>;
     self::use(self::C<dynamic>);
     dynamic;
     self::use(dynamic);
-    let final dynamic #t49 = self::C::T in #t49.==(null) ? null : invalid-expression;
-    self::use(let final dynamic #t50 = self::C::T in #t50.==(null) ? null : invalid-expression);
+    let final dynamic #t89 = self::C::T in #t89.==(null) ? null : let final dynamic #t90 = 42 in invalid-expression;
+    self::use(let final dynamic #t91 = self::C::T in #t91.==(null) ? null : let final dynamic #t92 = 42 in invalid-expression);
     () → void;
     self::use(() → void);
-    let final dynamic #t51 = self::C<dynamic> in invalid-expression;
-    self::use(let final dynamic #t52 = self::C<dynamic> in invalid-expression);
-    let final dynamic #t53 = dynamic in invalid-expression;
-    self::use(let final dynamic #t54 = dynamic in invalid-expression);
-    let final dynamic #t55 = self::C::T in invalid-expression;
-    self::use(let final dynamic #t56 = self::C::T in invalid-expression);
-    let final dynamic #t57 = () → void in invalid-expression;
-    self::use(let final dynamic #t58 = () → void in invalid-expression);
-    let final dynamic #t59 = self::C<dynamic> in invalid-expression;
-    self::use(let final dynamic #t60 = self::C<dynamic> in invalid-expression);
-    let final dynamic #t61 = dynamic in invalid-expression;
-    self::use(let final dynamic #t62 = dynamic in invalid-expression);
-    let final dynamic #t63 = self::C::T in invalid-expression;
-    self::use(let final dynamic #t64 = self::C::T in invalid-expression);
-    let final dynamic #t65 = () → void in invalid-expression;
-    self::use(let final dynamic #t66 = () → void in invalid-expression);
+    let final dynamic #t93 = self::C<dynamic> in let final dynamic #t94 = #t93.+(42) in invalid-expression;
+    self::use(let final dynamic #t95 = self::C<dynamic> in let final dynamic #t96 = #t95.+(42) in invalid-expression);
+    let final dynamic #t97 = dynamic in let final dynamic #t98 = #t97.+(42) in invalid-expression;
+    self::use(let final dynamic #t99 = dynamic in let final dynamic #t100 = #t99.+(42) in invalid-expression);
+    let final dynamic #t101 = self::C::T in let final dynamic #t102 = #t101.+(42) in invalid-expression;
+    self::use(let final dynamic #t103 = self::C::T in let final dynamic #t104 = #t103.+(42) in invalid-expression);
+    let final dynamic #t105 = () → void in let final dynamic #t106 = #t105.+(42) in invalid-expression;
+    self::use(let final dynamic #t107 = () → void in let final dynamic #t108 = #t107.+(42) in invalid-expression);
+    let final dynamic #t109 = self::C<dynamic> in let final dynamic #t110 = #t109.-(42) in invalid-expression;
+    self::use(let final dynamic #t111 = self::C<dynamic> in let final dynamic #t112 = #t111.-(42) in invalid-expression);
+    let final dynamic #t113 = dynamic in let final dynamic #t114 = #t113.-(42) in invalid-expression;
+    self::use(let final dynamic #t115 = dynamic in let final dynamic #t116 = #t115.-(42) in invalid-expression);
+    let final dynamic #t117 = self::C::T in let final dynamic #t118 = #t117.-(42) in invalid-expression;
+    self::use(let final dynamic #t119 = self::C::T in let final dynamic #t120 = #t119.-(42) in invalid-expression);
+    let final dynamic #t121 = () → void in let final dynamic #t122 = #t121.-(42) in invalid-expression;
+    self::use(let final dynamic #t123 = () → void in let final dynamic #t124 = #t123.-(42) in invalid-expression);
   }
 }
 static method use(dynamic x) → dynamic {