Revert "Constrain type annotations with deferred types."

sdk/lib/_internal/compiler/implementation/js_backend/checked_mode_helpers.dart

 // Copyright (c) 2013, 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.
 
 part of js_backend;
 
 class CheckedModeHelper {
   final String name;
 
   const CheckedModeHelper(String this.name);
@@ skipping 55 matching lines @@
       const PropertyCheckedModeHelper('propertyTypeCheck')];
 }
 
 class MalformedCheckedModeHelper extends CheckedModeHelper {
   const MalformedCheckedModeHelper(String name) : super(name);
 
   void generateAdditionalArguments(SsaCodeGenerator codegen,
                                    HTypeConversion node,
                                    List<jsAst.Expression> arguments) {
     ErroneousElement element = node.typeExpression.element;
-    arguments.add(js.escapedString(element.message));
+    arguments.add(js.string(element.message));
   }
 }
 
 class PropertyCheckedModeHelper extends CheckedModeHelper {
   const PropertyCheckedModeHelper(String name) : super(name);
 
   void generateAdditionalArguments(SsaCodeGenerator codegen,
                                    HTypeConversion node,
                                    List<jsAst.Expression> arguments) {
     DartType type = node.typeExpression;
@@ skipping 23 matching lines @@
     DartType type = node.typeExpression;
     Element element = type.element;
     String isField = codegen.backend.namer.operatorIs(element);
     arguments.add(js.string(isField));
     codegen.use(node.typeRepresentation);
     arguments.add(codegen.pop());
     String asField = codegen.backend.namer.substitutionName(element);
     arguments.add(js.string(asField));
   }
 }