Issue 28100. Fix for indirect not instantiated types, tests.

pkg/analyzer/lib/src/generated/error_verifier.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.error_verifier;
 
 import 'dart:collection';
 import "dart:math" as math;
 
 import 'package:analyzer/dart/ast/ast.dart';
@@ skipping 5180 matching lines @@
     if (typeName != null) {
       DartType type = typeName.type;
       if (type != null && !type.isVoid) {
         _errorReporter.reportErrorForNode(
             StaticWarningCode.NON_VOID_RETURN_FOR_SETTER, typeName);
       }
     }
   }
 
   void _checkForNotInstantiatedBound(TypeAnnotation node) {
-    if (!_options.strongMode ||
-        node == null ||
-        (node is TypeName && node.typeArguments != null)) {
+    if (!_options.strongMode || node == null) {
       return;
     }
-    DartType type = node.type;
-    if (type is InterfaceType && type.element.typeParameters.isNotEmpty) {
-      _errorReporter.reportErrorForNode(
-          StrongModeCode.NOT_INSTANTIATED_BOUND, node, [type]);
+
+    if (node is TypeName) {

[Brian Wilkerson, 2017/01/20 15:41:58]

For GenericFunctionType I think we will need to check the bounds of the type
parameters. It would be good to at least add an 'else' that throws an exception
so that we don't forget to come back to implement this case.

[scheglov, 2017/01/20 16:05:44]

Done.

+      if (node.typeArguments == null) {
+        DartType type = node.type;
+        if (type is InterfaceType && type.element.typeParameters.isNotEmpty) {
+          _errorReporter.reportErrorForNode(
+              StrongModeCode.NOT_INSTANTIATED_BOUND, node, [type]);
+        }
+      } else {
+        node.typeArguments.arguments.forEach(_checkForNotInstantiatedBound);
+      }
     }
   }
 
   /**
    * Verify the given operator-method [declaration], does not have an optional
    * parameter. This method assumes that the method declaration was tested to be
    * an operator declaration before being called.
    *
    * See [CompileTimeErrorCode.OPTIONAL_PARAMETER_IN_OPERATOR].
    */
@@ skipping 1832 matching lines @@
 class _InvocationCollector extends RecursiveAstVisitor {
   final List<String> superCalls = <String>[];
 
   @override
   visitMethodInvocation(MethodInvocation node) {
     if (node.target is SuperExpression) {
       superCalls.add(node.methodName.name);
     }
   }
 }