Revert "More functionality in kernel_impact." and "Compute NativeBehavior for foreign functions."

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) {
-      ConstructorElement constructor = element;
-      ClassElement superclass = constructor.enclosingClass.superclass;
+      ClassElement superclass = element.enclosingClass.superclass;
       ConstructorElement superclassConstructor =
-          superclass.lookupConstructor(constructor.name);
+          superclass.lookupConstructor(element.name);
       assert(invariant(element, superclassConstructor != null,
-          message: "Superclass constructor '${constructor.name}' called from "
+          message: "Superclass constructor '${element.name}' called from "
               "${element} not found in ${superclass}."));
       // TODO(johnniwinther): Compute callStructure. Currently not used.
       CallStructure callStructure;
-      return _resolutionImpactDeserializer.registerResolutionImpact(constructor,
+      return _resolutionImpactDeserializer.registerResolutionImpact(element,
           () {
-        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;
     }
   }
 }