Add a temporary analyzer error to work around #28515

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 1030 matching lines @@
    * initializing formal is used by a function other than a non-redirecting
    * generative constructor.
    */
   static const CompileTimeErrorCode FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR =
       const CompileTimeErrorCode(
           'FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR',
           "The redirecting constructor can't have a field initializer.",
           "Try using a normal parameter.");
 
   /**
+   * Temporary error to work around dartbug.com/28515.
+   *
+   * We cannot yet properly summarize function-typed parameters with generic
+   * arguments, so to prevent confusion, we produce an error for any such
+   * constructs (regardless of whether summaries are in use).
+   *
+   * TODO(paulberry): remove this once dartbug.com/28515 is fixed.
+   */
+  static const GENERIC_FUNCTION_TYPED_PARAM_UNSUPPORTED =
+      const CompileTimeErrorCode(
+          'GENERIC_FUNCTION_TYPED_PARAM_UNSUPPORTED',
+          "Analysis of generic function typed parameters is not yet supported.",
+          "Try using an explicit typedef, or changing type parameters to "
+          "`dynamic`.");
+
+  /**
    * 7.2 Getters: It is a compile-time error if a class has both a getter and a
    * method with the same name.
    *
    * Parameters:
    * 0: the conflicting name of the getter and method
    */
   static const CompileTimeErrorCode GETTER_AND_METHOD_WITH_SAME_NAME =
       const CompileTimeErrorCode(
           'GETTER_AND_METHOD_WITH_SAME_NAME',
           "'{0}' can't be used to name a getter, there is already a method "
@@ skipping 3866 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;
 }