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

pkg/analyzer/lib/src/generated/resolver.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.generated.resolver;
 
 import 'dart:collection';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/standard_resolution_map.dart';
@@ skipping 8366 matching lines @@
         }
       } else {
         reportErrorForNode(_getInvalidTypeParametersErrorCode(node), node,
             [typeName.name, parameterCount, argumentCount]);
         for (int i = 0; i < parameterCount; i++) {
           typeArguments[i] = dynamicType;
         }
       }
       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;
   }
 
   /**
    * The number of type arguments in the given [typeName] does not match the
    * number of parameters in the corresponding class element. Return the error
    * code that should be used to report this error.
    */
@@ skipping 2432 matching lines @@
       return null;
     }
     if (identical(node.staticElement, variable)) {
       if (node.inSetterContext()) {
         result = true;
       }
     }
     return null;
   }
 }