More functionality in kernel_impact.

pkg/compiler/lib/src/serialization/system.dart

 // Copyright (c) 2016, 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 dart2js.serialization_system;
 
 import 'dart:async';
 
 import '../common.dart';
 import '../common/resolution.dart';
 import '../compiler.dart';
+import '../dart_types.dart';
 import '../elements/elements.dart';
 import '../scanner/scanner.dart';
 import '../script.dart';
 import '../serialization/impact_serialization.dart';
 import '../tokens/token.dart';
 import '../universe/call_structure.dart';
 import '../universe/use.dart';
 import '../universe/world_impact.dart';
 import 'modelz.dart';
 import 'resolved_ast_serialization.dart';
@@ skipping 127 matching lines @@
         element.enclosingClass.isUnnamedMixinApplication) {
       return true;
     }
     return _resolutionImpactDeserializer.hasResolutionImpact(element);
   }
 
   @override
   ResolutionImpact getResolutionImpact(Element element) {
     if (element.isConstructor &&
         element.enclosingClass.isUnnamedMixinApplication) {
-      ClassElement superclass = element.enclosingClass.superclass;
+      ConstructorElement constructor = element;
+      ClassElement superclass = constructor.enclosingClass.superclass;
       ConstructorElement superclassConstructor =
-          superclass.lookupConstructor(element.name);
+          superclass.lookupConstructor(constructor.name);
       assert(invariant(element, superclassConstructor != null,
-          message: "Superclass constructor '${element.name}' called from "
+          message: "Superclass constructor '${constructor.name}' called from "
               "${element} not found in ${superclass}."));
       // TODO(johnniwinther): Compute callStructure. Currently not used.
       CallStructure callStructure;
-      return _resolutionImpactDeserializer.registerResolutionImpact(element,
+      return _resolutionImpactDeserializer.registerResolutionImpact(constructor,
           () {
+        List<TypeUse> typeUses = <TypeUse>[];
+        void addCheckedModeCheck(DartType type) {
+          if (!type.isDynamic) {
+            typeUses.add(new TypeUse.checkedModeCheck(type));
+          }
+        }
+
+        FunctionType type = constructor.type;
+        // TODO(johnniwinther): Remove this substitution when synthesized
+        // constructors handle type variables correctly.
+        type = type.substByContext(constructor.enclosingClass
+            .asInstanceOf(constructor.enclosingClass));
+        type.parameterTypes.forEach(addCheckedModeCheck);
+        type.optionalParameterTypes.forEach(addCheckedModeCheck);
+        type.namedParameterTypes.forEach(addCheckedModeCheck);
         return new DeserializedResolutionImpact(staticUses: <StaticUse>[
           new StaticUse.superConstructorInvoke(
               superclassConstructor, callStructure)
-        ]);
+        ], typeUses: typeUses);
       });
     }
     return _resolutionImpactDeserializer.getResolutionImpact(element);
   }
 }
 
 const String WORLD_IMPACT_TAG = 'worldImpact';
 
 class ResolutionImpactSerializer extends SerializerPlugin {
   final Resolution resolution;
@@ skipping 122 matching lines @@
   }
 
   @override
   void onElement(Element element, ObjectDecoder getDecoder(String tag)) {
     ObjectDecoder decoder = getDecoder(RESOLVED_AST_TAG);
     if (decoder != null) {
       _decoderMap[element] = decoder;
     }
   }
 }