Support patched generic methods.

pkg/compiler/lib/src/diagnostics/messages.dart

 // Copyright (c) 2011, 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.
 
 /**
  * The messages in this file should meet the following guide lines:
  *
  * 1. The message should be a complete sentence starting with an uppercase
  * letter, and ending with a period.
  *
@@ skipping 367 matching lines @@
   PATCH_PARAMETER_MISMATCH,
   PATCH_PARAMETER_TYPE_MISMATCH,
   PATCH_POINT_TO_CLASS,
   PATCH_POINT_TO_CONSTRUCTOR,
   PATCH_POINT_TO_FUNCTION,
   PATCH_POINT_TO_GETTER,
   PATCH_POINT_TO_PARAMETER,
   PATCH_POINT_TO_SETTER,
   PATCH_REQUIRED_PARAMETER_COUNT_MISMATCH,
   PATCH_RETURN_TYPE_MISMATCH,
+  PATCH_TYPE_VARIABLES_MISMATCH,
   PLEASE_REPORT_THE_CRASH,
   POSITIONAL_PARAMETER_WITH_EQUALS,
   POTENTIAL_MUTATION,
   POTENTIAL_MUTATION_HERE,
   POTENTIAL_MUTATION_IN_CLOSURE,
   POTENTIAL_MUTATION_IN_CLOSURE_HERE,
   PREAMBLE,
   PREFIX_AS_EXPRESSION,
   PRIVATE_ACCESS,
   PRIVATE_IDENTIFIER,
@@ skipping 834 matching lines @@
 """,
             """
 // Method type variables are not reified, so they cannot be tested dynamically.
 bool f<T>(Object o) => o is T;
 
 main() => f<int>(42);
 """
           ]),
 
       MessageKind.TYPE_VARIABLE_FROM_METHOD_CONSIDERED_DYNAMIC:
-      const MessageTemplate(
-          MessageKind.TYPE_VARIABLE_FROM_METHOD_CONSIDERED_DYNAMIC,
-          "Method type variables are treated as `dynamic` in `as` expressions.",
-          howToFix: "Try using the upper bound of the type variable, or check "
-              "that the blind success of the test does not introduce bugs.",
-          examples: const [
+          const MessageTemplate(
+              MessageKind.TYPE_VARIABLE_FROM_METHOD_CONSIDERED_DYNAMIC,
+              "Method type variables are treated as `dynamic` in `as` "
+              "expressions.",
+              howToFix:
+                  "Try using the upper bound of the type variable, or check "
+                  "that the blind success of the test does not introduce bugs.",
+              examples: const [
             """
 // Method type variables are not reified, so they cannot be tested dynamically.
 bool f<T>(Object o) => o as T;
 
 main() => f<int>(42);
 """
           ]),
 
       MessageKind.INVALID_TYPE_VARIABLE_BOUND: const MessageTemplate(
           MessageKind.INVALID_TYPE_VARIABLE_BOUND,
@@ skipping 2265 matching lines @@
               'part.dart': """
 part of test.main;
 """,
             }
           ]),
 
       //////////////////////////////////////////////////////////////////////////////
       // Patch errors start.
       //////////////////////////////////////////////////////////////////////////////
 
+      MessageKind.PATCH_TYPE_VARIABLES_MISMATCH: const MessageTemplate(
+          MessageKind.PATCH_TYPE_VARIABLES_MISMATCH,
+          "Patch type variables do not match "
+          "type variables on origin method '#{methodName}'."),
+
       MessageKind.PATCH_RETURN_TYPE_MISMATCH: const MessageTemplate(
           MessageKind.PATCH_RETURN_TYPE_MISMATCH,
           "Patch return type '#{patchReturnType}' does not match "
           "'#{originReturnType}' on origin method '#{methodName}'."),
 
       MessageKind.PATCH_REQUIRED_PARAMETER_COUNT_MISMATCH: const MessageTemplate(
           MessageKind.PATCH_REQUIRED_PARAMETER_COUNT_MISMATCH,
           "Required parameter count of patch method "
           "(#{patchParameterCount}) does not match parameter count on origin "
           "method '#{methodName}' (#{originParameterCount})."),
@@ skipping 284 matching lines @@
   static String convertToString(value) {
     if (value is ErrorToken) {
       // Shouldn't happen.
       return value.assertionMessage;
     } else if (value is Token) {
       value = value.value;
     }
     return '$value';
   }
 }