Issue 28100. Implement new strong mode instantiate to bound rules in analyzer.

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 42d9aeceeacfdb55ca200fb3e20755a517970d98..a87badd8901c623593a9bf8de8d6fc0c2e5e3f70 100644
--- a/pkg/analyzer/lib/src/error/codes.dart
+++ b/pkg/analyzer/lib/src/error/codes.dart
@@ -4904,6 +4904,13 @@ class StrongModeCode extends ErrorCode {
       "Type parameter bound types must be instantiated.",
       "Try adding type arguments.");
 
+  static const StrongModeCode UNABLE_INSTANTIATE_TO_BOUNDS =
+      const StrongModeCode(
+          ErrorType.COMPILE_TIME_ERROR,
+          'UNABLE_INSTANTIATE_TO_BOUNDS',
+          "Unable to instantiate to bounds.",

[Leaf, 2017/01/20 20:31:52]

Maybe "Type has no default bounds", "Try adding explicit type parameters to
type"?

[scheglov, 2017/01/21 02:11:23]

Done.

+          "Try adding type arguments.");
+
   static const StrongModeCode UNSAFE_BLOCK_CLOSURE_INFERENCE = const StrongModeCode(
       ErrorType.STATIC_WARNING,
       'UNSAFE_BLOCK_CLOSURE_INFERENCE',