Revert "cps-ir: Support foreign code."

pkg/compiler/lib/src/cps_ir/type_propagation.dart

 // Copyright (c) 2014, 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.
 
 import 'optimizers.dart' show Pass, ParentVisitor;
 
 import '../constants/constant_system.dart';
 import '../constants/expressions.dart';
 import '../resolution/operators.dart';
 import '../constants/values.dart';
@@ skipping 1262 matching lines @@
 
   void visitSetField(SetField node) {
     setReachable(node.body);
   }
 
   void visitCreateBox(CreateBox node) {
     setValue(node, nonConstant(typeSystem.nonNullType));
   }
 
   void visitCreateInstance(CreateInstance node) {
-    setValue(node, nonConstant(typeSystem.nonNullExact(node.classElement.declaration)));
+    setValue(node, nonConstant(typeSystem.nonNullExact(node.classElement)));
   }
 
   void visitReifyRuntimeType(ReifyRuntimeType node) {
     setValue(node, nonConstant(typeSystem.typeType));
   }
 
   void visitReadTypeVariable(ReadTypeVariable node) {
     // TODO(karlklose): come up with a type marker for JS entities or switch to
     // real constants of type [Type].
     setValue(node, nonConstant());
   }
 
   @override
   visitTypeExpression(TypeExpression node) {
     // TODO(karlklose): come up with a type marker for JS entities or switch to
     // real constants of type [Type].
     setValue(node, nonConstant());
   }
 
   void visitCreateInvocationMirror(CreateInvocationMirror node) {
     // TODO(asgerf): Expose [Invocation] type.
     setValue(node, nonConstant(typeSystem.nonNullType));
   }
-
-  @override
-  visitForeignCode(ForeignCode node) {
-    Continuation continuation = node.continuation.definition;
-    setReachable(continuation);
-
-    assert(continuation.parameters.length == 1);
-    Parameter returnValue = continuation.parameters.first;
-
-    setValue(returnValue, nonConstant(node.type));
-  }
 }
 
 /// Represents the abstract value of a primitive value at some point in the
 /// program. Abstract values of all kinds have a type [T].
 ///
 /// The different kinds of abstract values represents the knowledge about the
 /// constness of the value:
 ///   NOTHING:  cannot have any value
 ///   CONSTANT: is a constant. The value is stored in the [constant] field,
 ///             and the type of the constant is in the [type] field.
@@ skipping 116 matching lines @@
   ConstantExpression visitString(StringConstantValue constant, arg) {
     return new StringConstantExpression(
         constant.primitiveValue.slowToString());
   }
 
   @override
   ConstantExpression visitType(TypeConstantValue constant, arg) {
     throw new UnsupportedError("ConstantExpressionCreator.visitType");
   }
 }