Report errors for the new top-level inference rules.

pkg/analyzer/lib/src/error/codes.dart

Index: pkg/analyzer/lib/src/error/codes.dart
diff --git a/pkg/analyzer/lib/src/error/codes.dart b/pkg/analyzer/lib/src/error/codes.dart
index 1ab9ee903f347720079b4ea844465a3562b6a38b..4c02768ce0cd0d194a50ea9ac080ceda3bae729b 100644
--- a/pkg/analyzer/lib/src/error/codes.dart
+++ b/pkg/analyzer/lib/src/error/codes.dart
@@ -4951,6 +4951,50 @@ class StrongModeCode extends ErrorCode {
       "Type parameter bound types must be instantiated.",
       "Try adding type arguments.");
 
+  static const StrongModeCode TOP_LEVEL_CYCLE = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'TOP_LEVEL_CYCLE',
+      "The type of '{0}' can't be inferred because it depends on itself through the cycle: {1}.",
+      "Try adding an explicit type to one or more of the variables in the cycle in order to break the cycle.");
+
+  static const StrongModeCode TOP_LEVEL_FUNCTION_LITERAL_BLOCK =
+      const StrongModeCode(
+          ErrorType.COMPILE_TIME_ERROR,
+          'TOP_LEVEL_FUNCTION_LITERAL_BLOCK',
+          "The type of the function literal can't be inferred because the literal has a block as its body.",
+          "Try adding an explicit type to the variable.");
+
+  static const StrongModeCode TOP_LEVEL_FUNCTION_LITERAL_PARAMETER =
+      const StrongModeCode(
+          ErrorType.COMPILE_TIME_ERROR,
+          'TOP_LEVEL_FUNCTION_LITERAL_PARAMETER',
+          "The type of '{0}' can't be inferred because the parameter '{1}' does not have an explicit type.",
+          "Try adding an explicit type to the parameter '{1}', or add an explicit type for '{0}'.");
+
+  static const StrongModeCode TOP_LEVEL_IDENTIFIER_NO_TYPE = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'TOP_LEVEL_IDENTIFIER_NO_TYPE',
+      "The type of '{0}' can't be inferred because the type of '{1}' couldn't be inferred.",
+      "Try adding an explicit type to the variable {1}.");

[Brian Wilkerson, 2017/03/28 13:41:23]

"to either the variable {0} or the variable {1}"?

+
+  static const StrongModeCode TOP_LEVEL_INSTANCE_GETTER = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'TOP_LEVEL_INSTANCE_GETTER',
+      "The type of '{0}' can't be inferred because of the use of the instance getter '{1}'.",
+      "Try removing the use of the instance getter {1}, or add an explicit type for '{0}'.");
+
+  static const StrongModeCode TOP_LEVEL_TYPE_ARGUMENTS = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'TOP_LEVEL_TYPE_ARGUMENTS',
+      "The type of '{0}' can't be inferred because type arguments were not given for '{1}'.",
+      "Try adding type arguments for '{1}', or add an explicit type for '{0}'.");
+
+  static const StrongModeCode TOP_LEVEL_UNSUPPORTED = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'TOP_LEVEL_UNSUPPORTED',
+      "The type of '{0}' can't be inferred because '{1}' expressions aren't supported.",

[Brian Wilkerson, 2017/03/28 13:41:23]

I'm guessing the "{1}" shouldn't have quotes around it, but that depends on what
will be substituted there.

+      "Try adding an explicit type for '{0}'.");
+
   static const StrongModeCode UNSAFE_BLOCK_CLOSURE_INFERENCE = const StrongModeCode(
       ErrorType.STATIC_WARNING,
       'UNSAFE_BLOCK_CLOSURE_INFERENCE',