Widen big concrete types to dynamic.

sdk/lib/_internal/compiler/implementation/types/types.dart

Index: sdk/lib/_internal/compiler/implementation/types/types.dart
diff --git a/sdk/lib/_internal/compiler/implementation/types/types.dart b/sdk/lib/_internal/compiler/implementation/types/types.dart
index c41fd9347bc74802d6a27d1659d7390934cee236..92920255920fa50df740ebba697720fb86116cb7 100644
--- a/sdk/lib/_internal/compiler/implementation/types/types.dart
+++ b/sdk/lib/_internal/compiler/implementation/types/types.dart
@@ -21,10 +21,10 @@ class TypesTask extends CompilerTask {
   final Map<Element, Link<Element>> typedSends;
   final ConcreteTypesInferrer concreteTypesInferrer;
 
-  TypesTask(Compiler compiler, bool enableConcreteTypeInference)
+  TypesTask(Compiler compiler)
     : untypedElements = new Set<Element>(),
       typedSends = new Map<Element, Link<Element>>(),
-      concreteTypesInferrer = enableConcreteTypeInference
+      concreteTypesInferrer = compiler.enableConcreteTypeInference
           ? new ConcreteTypesInferrer(compiler) : null,
       super(compiler);
 
@@ -70,7 +70,8 @@ class TypesTask extends CompilerTask {
       for (Element parameter in signature.requiredParameters) {
         if (types.isEmpty) return null;
         if (element == parameter) {
-          return new ConcreteType.singleton(new ClassBaseType(types.head));
+          return new ConcreteType.singleton(compiler.maxConcreteTypeSize,
+                                            new ClassBaseType(types.head));
         }
         types = types.tail;
       }