fix #27764, split STATIC_TYPE_ERROR into more detailed ones

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

 // Copyright (c) 2014, 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.src.error.codes;
 
 import 'package:analyzer/error/error.dart';
 
 export 'package:analyzer/src/analysis_options/error/option_codes.dart';
 export 'package:analyzer/src/dart/error/hint_codes.dart';
@@ skipping 4633 matching lines @@
 /**
  * This class has Strong Mode specific error codes.
  *
  * These error codes tend to use the same message across different severity
  * levels, so they are grouped for clarity.
  *
  * All of these error codes also use the "STRONG_MODE_" prefix in their name.
  */
 class StrongModeCode extends ErrorCode {
   static const String _implicitCastMessage =
-      "Unsound implicit cast from '{0}' to '{1}'.";
+      "Unsafe implicit cast from '{0}' to '{1}'. "
+      "This usually indicates that type information was lost and resulted in "
+      "'dynamic' and/or a place that will have a failure at runtime.";
 
   static const String _implicitCastCorrection =
-      "Try adding an explicit cast to '{1}'.";
+      "Try adding an explicit cast to '{1}' or improving the type of '{0}'.";
 
   static const String _invalidOverrideMessage =
       "The type of '{0}.{1}' ('{2}') isn't a subtype of '{3}.{1}' ('{4}').";
 
   /**
    * This is appended to the end of an error message about implicit dynamic.
    *
    * The idea is to make sure the user is aware that this error message is the
    * result of turning on a particular option, and they are free to turn it
    * back off.
@@ skipping 50 matching lines @@
 
   static const StrongModeCode INFERRED_TYPE_LITERAL = const StrongModeCode(
       ErrorType.HINT, 'INFERRED_TYPE_LITERAL', _inferredTypeMessage);
 
   static const StrongModeCode INFERRED_TYPE_ALLOCATION = const StrongModeCode(
       ErrorType.HINT, 'INFERRED_TYPE_ALLOCATION', _inferredTypeMessage);
 
   static const StrongModeCode INFERRED_TYPE_CLOSURE = const StrongModeCode(
       ErrorType.HINT, 'INFERRED_TYPE_CLOSURE', _inferredTypeMessage);
 
-  static const StrongModeCode STATIC_TYPE_ERROR = const StrongModeCode(
+  static const StrongModeCode INVALID_CAST_LITERAL = const StrongModeCode(
       ErrorType.COMPILE_TIME_ERROR,
-      'STATIC_TYPE_ERROR',
-      "Type check failed: '{0}' ('{1}') isn't of type '{2}'.");
+      'INVALID_CAST_LITERAL',
+      "The literal '{0}' with type '{1}' isn't of expected type '{2}'.");
+
+  static const StrongModeCode INVALID_CAST_LITERAL_LIST = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'INVALID_CAST_LITERAL_LIST',
+      "The list literal type '{0}' isn't of expected type '{1}'. The list's "
+      "type can be changed with an explicit generic type argument or by "
+      "changing the element types.");
+
+  static const StrongModeCode INVALID_CAST_LITERAL_MAP = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'INVALID_CAST_LITERAL_MAP',
+      "The map literal type '{0}' isn't of expected type '{1}'. The maps's "
+      "type can be changed with an explicit generic type arguments or by "
+      "changing the key and value types.");
+
+  static const StrongModeCode INVALID_CAST_FUNCTION_EXPR = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'INVALID_CAST_FUNCTION_EXPR',
+      "The function expression type '{0}' isn't of type '{1}'. "
+      "This means its parameter or return type does not match what is "
+      "expected. Consider changing parameter type(s) or the returned type(s).");
+
+  static const StrongModeCode INVALID_CAST_NEW_EXPR = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'INVALID_CAST_NEW_EXPR',
+      "The constructor returns type '{0}' that isn't of expected type '{1}'.");
+
+  static const StrongModeCode INVALID_CAST_METHOD = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'INVALID_CAST_METHOD',
+      "The method tear-off '{0}' has type '{1}' that isn't of expected type "
+      "'{2}'. This means its parameter or return type does not match what is "
+      "expected.");
+
+  static const StrongModeCode INVALID_CAST_FUNCTION = const StrongModeCode(
+      ErrorType.COMPILE_TIME_ERROR,
+      'INVALID_CAST_FUNCTION',
+      "The function '{0}' has type '{1}' that isn't of expected type "
+      "'{2}'. This means its parameter or return type does not match what is "
+      "expected.");
 
   static const StrongModeCode INVALID_SUPER_INVOCATION = const StrongModeCode(
       ErrorType.COMPILE_TIME_ERROR,
       'INVALID_SUPER_INVOCATION',
       "super call must be last in an initializer "
       "list (see https://goo.gl/EY6hDP): '{0}'.");
 
   static const StrongModeCode NON_GROUND_TYPE_CHECK_INFO = const StrongModeCode(
       ErrorType.HINT,
       'NON_GROUND_TYPE_CHECK_INFO',
@@ skipping 103 matching lines @@
    * created from the optional [correction] template.
    */
   const StrongModeCode(ErrorType type, String name, String message,
       [String correction])
       : type = type,
         super('STRONG_MODE_$name', message, correction);
 
   @override
   ErrorSeverity get errorSeverity => type.severity;
 }