Instantiate parameterized types of type parameters with 'dynamic' type arguments.

pkg/analyzer/lib/src/dart/element/element.dart

Index: pkg/analyzer/lib/src/dart/element/element.dart
diff --git a/pkg/analyzer/lib/src/dart/element/element.dart b/pkg/analyzer/lib/src/dart/element/element.dart
index 4118d8d5d360f48760e75d9957260cc3f6a7c576..540b6a90b65bc5c112559d8c61ff7d00c4908108 100644
--- a/pkg/analyzer/lib/src/dart/element/element.dart
+++ b/pkg/analyzer/lib/src/dart/element/element.dart
@@ -8141,7 +8141,8 @@ abstract class TypeParameterizedElementMixin
         (unlinkedTypeParams != null && unlinkedTypeParams[i].bound == null)) {
       return DynamicTypeImpl.instance;
     }
-    return typeParameters[i].bound ?? DynamicTypeImpl.instance;
+    DartType bound = typeParameters[i].bound ?? DynamicTypeImpl.instance;
+    return context.typeSystem.instantiateToDynamic(bound);

[Leaf, 2016/09/30 23:44:52]

I don't think this is really right for strong mode, if I understand this
correctly.  The definition of instantiateToBounds for strong mode doesn't just
replace the variables with dynamic, it instead walks sequentially over the type
parameters computing for the ith bound Bi the default type argument Di as Bi
with dynamic for Ti and Dj for Tj for all j < i.  

I'm unhappy with this definition, and am working with the language team to get a
better solution here, but if the goal is consistency with instantiateToBounds I
think this isn't quite right.

   }
 
   /**