Issue 28100. In strong mode verify that TypeParameter bound has required type arguments.

pkg/analyzer/lib/error/error.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.error.error;
 
 import 'dart:collection';
 
 import 'package:analyzer/error/listener.dart';
 import 'package:analyzer/src/dart/scanner/scanner.dart' show ScannerErrorCode;
@@ skipping 607 matching lines @@
   StrongModeCode.INVALID_CAST_NEW_EXPR,
   StrongModeCode.INVALID_CAST_METHOD,
   StrongModeCode.INVALID_CAST_FUNCTION,
   StrongModeCode.INVALID_FIELD_OVERRIDE,
   StrongModeCode.INVALID_METHOD_OVERRIDE,
   StrongModeCode.INVALID_METHOD_OVERRIDE_FROM_BASE,
   StrongModeCode.INVALID_METHOD_OVERRIDE_FROM_MIXIN,
   StrongModeCode.INVALID_PARAMETER_DECLARATION,
   StrongModeCode.INVALID_SUPER_INVOCATION,
   StrongModeCode.NON_GROUND_TYPE_CHECK_INFO,
+  StrongModeCode.NOT_INSTANTIATED_BOUND,
   StrongModeCode.UNSAFE_BLOCK_CLOSURE_INFERENCE,
   TodoCode.TODO,
 ];
 
 /**
  * The lazy initialized map from [ErrorCode.uniqueName] to the [ErrorCode]
  * instance.
  */
 HashMap<String, ErrorCode> _uniqueNameToCodeMap;
 
@@ skipping 257 matching lines @@
 
   @override
   int get hashCode => ordinal;
 
   @override
   int compareTo(ErrorProperty other) => ordinal - other.ordinal;
 
   @override
   String toString() => name;
 }