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

pkg/analyzer/lib/src/generated/resolver.dart

Index: pkg/analyzer/lib/src/generated/resolver.dart
diff --git a/pkg/analyzer/lib/src/generated/resolver.dart b/pkg/analyzer/lib/src/generated/resolver.dart
index 60c2700d50fd22000e80afe4c90c1777ab7d559a..3c113ced4feaf4ce0f45571f2920509d5c2be858 100644
--- a/pkg/analyzer/lib/src/generated/resolver.dart
+++ b/pkg/analyzer/lib/src/generated/resolver.dart
@@ -8384,7 +8384,12 @@ class TypeNameResolver {
       }
       type = typeSystem.instantiateType(type, typeArguments);
     } else {
-      type = typeSystem.instantiateToBounds(type);
+      List<bool> hasError = [false];
+      type = typeSystem.instantiateToBounds(type, hasError: hasError);
+      if (hasError[0]) {
+        errorListener.onError(new AnalysisError(source, node.offset,
+            node.length, StrongModeCode.NO_DEFAULT_BOUNDS));
+      }
     }
     typeName.staticType = type;
     node.type = type;