Report errors for the new top-level inference rules.

pkg/analyzer/test/src/task/strong/checker_test.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library analyzer.test.src.task.strong.checker_test;
 
 import 'package:test_reflective_loader/test_reflective_loader.dart';
 
 import 'strong_test_helper.dart';
 
@@ skipping 2187 matching lines @@
     addFile('num n; int i = /*info:ASSIGNMENT_CAST*/n;');
     await check();
     // TODO(jmesserly): should not be emitting the hint as well as the error.
     // It is a "strong mode hint" however, so it will not be user visible.
     addFile(
         'num n; int i = /*info:ASSIGNMENT_CAST,error:INVALID_ASSIGNMENT*/n;');
     await check(implicitCasts: false);
   }
 
   test_implicitCasts_genericMethods() async {
-    addFile('var x = <String>[].map((x) => "");');
+    addFile('''
+var x = <String>[].map<String>((x) => "");
+''');
     await check(implicitCasts: false);
   }
 
   test_implicitCasts_numericOps() async {
     // Regression test for https://github.com/dart-lang/sdk/issues/26912
     addFile(r'''
 void f() {
   int x = 0;
   int y = 0;
   x += y;
 }
     ''');
     await check(implicitCasts: false);
   }
 
   test_implicitDynamic_field() async {
     addFile(r'''
 class C {
   var /*error:IMPLICIT_DYNAMIC_FIELD*/x0;
-  var /*error:IMPLICIT_DYNAMIC_FIELD*/x1 = (<dynamic>[])[0];
+  var /*error:IMPLICIT_DYNAMIC_FIELD*/x1 =
+      /*error:TOP_LEVEL_UNSUPPORTED*/(<dynamic>[])[0];
   var /*error:IMPLICIT_DYNAMIC_FIELD*/x2,
       x3 = 42,
       /*error:IMPLICIT_DYNAMIC_FIELD*/x4;
   dynamic y0;
   dynamic y1 = (<dynamic>[])[0];
 }
     ''');
     await check(implicitDynamic: false);
   }
 
@@ skipping 206 matching lines @@
   B y = /*info:INFERRED_TYPE_ALLOCATION*/new B();
   return /*info:INFERRED_TYPE_ALLOCATION*/new A();
 }
     ''');
     await check(implicitDynamic: false);
   }
 
   test_implicitDynamic_variable() async {
     addFile(r'''
 var /*error:IMPLICIT_DYNAMIC_VARIABLE*/x0;
-var /*error:IMPLICIT_DYNAMIC_VARIABLE*/x1 = (<dynamic>[])[0];
+var /*error:IMPLICIT_DYNAMIC_VARIABLE*/x1 =
+    /*error:TOP_LEVEL_UNSUPPORTED*/(<dynamic>[])[0];
 var /*error:IMPLICIT_DYNAMIC_VARIABLE*/x2,
     x3 = 42,
     /*error:IMPLICIT_DYNAMIC_VARIABLE*/x4;
 dynamic y0;
 dynamic y1 = (<dynamic>[])[0];
     ''');
     await check(implicitDynamic: false);
   }
 
   test_invalidOverrides_baseClassOverrideToChildInterface() async {
@@ skipping 1672 matching lines @@
 class CheckerTest_Driver extends CheckerTest {
   @override
   bool get enableNewAnalysisDriver => true;
 
   @failingTest
   @override
   test_covariantOverride_fields() async {
     await super.test_covariantOverride_fields();
   }
 }