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

pkg/compiler/lib/src/resolution/resolution.dart

Index: pkg/compiler/lib/src/resolution/resolution.dart
diff --git a/pkg/compiler/lib/src/resolution/resolution.dart b/pkg/compiler/lib/src/resolution/resolution.dart
index 09ef8f902c1c07bf737080643d09ee7d7525b19b..bdfffd8a4485bd9feb8e2aacfcbe2a9209ed26a5 100644
--- a/pkg/compiler/lib/src/resolution/resolution.dart
+++ b/pkg/compiler/lib/src/resolution/resolution.dart
@@ -315,22 +315,11 @@ class ResolverTask extends CompilerTask {
           // Ensure the signature of the synthesized element is
           // resolved. This is the only place where the resolver is
           // seeing this element.
-          FunctionType type = element.computeType(resolution);
+          element.computeType(resolution);
           if (!target.isMalformed) {
             registry.registerStaticUse(new StaticUse.superConstructorInvoke(
-                // TODO(johnniwinther): Provide the right call structure for
-                // forwarding constructors.
-                target,
-                CallStructure.NO_ARGS));
+                target, CallStructure.NO_ARGS));
           }
-          // TODO(johnniwinther): Remove this substitution when synthesized
-          // constructors handle type variables correctly.
-          type = type.substByContext(
-              constructor.enclosingClass.asInstanceOf(target.enclosingClass));
-          type.parameterTypes.forEach(registry.registerCheckedModeCheck);
-          type.optionalParameterTypes
-              .forEach(registry.registerCheckedModeCheck);
-          type.namedParameterTypes.forEach(registry.registerCheckedModeCheck);
           return registry.impactBuilder;
         } else {
           assert(element.isDeferredLoaderGetter || element.isMalformed);
@@ -393,8 +382,6 @@ class ResolverTask extends CompilerTask {
         // happens for enum fields where the type is known but is not in the
         // synthesized AST.
         element.variables.type = const DynamicType();
-      } else {
-        registry.registerCheckedModeCheck(element.variables.type);
       }
 
       Expression initializer = element.initializer;