Support checking of malbounded types.

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

 // Copyright (c) 2012, 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 JavaScriptItemCompilationContext extends ItemCompilationContext {
   final Set<HInstruction> boundsChecked;
 
   JavaScriptItemCompilationContext()
@@ skipping 1059 matching lines @@
     enqueueClass(compiler.enqueuer.resolution, compiler.listClass, elements);
     enqueueClass(compiler.enqueuer.resolution, compiler.stringClass, elements);
   }
 
   void registerThrowRuntimeError(TreeElements elements) {
     enqueueInResolution(getThrowRuntimeError(), elements);
     // Also register the types of the arguments passed to this method.
     enqueueClass(compiler.enqueuer.resolution, compiler.stringClass, elements);
   }
 
+  void registerTypeVariableBoundsSubtypeCheck(DartType typeArgument,
+                                              DartType bound) {
+    rti.registerTypeVariableBoundsSubtypeCheck(typeArgument, bound);
+  }
+
+  void registerTypeVariableBoundCheck(TreeElements elements) {
+    enqueueInResolution(getThrowTypeError(), elements);
+    enqueueInResolution(getAssertIsSubtype(), elements);
+  }
+
   void registerAbstractClassInstantiation(TreeElements elements) {
     enqueueInResolution(getThrowAbstractClassInstantiationError(), elements);
     // Also register the types of the arguments passed to this method.
     enqueueClass(compiler.enqueuer.resolution, compiler.stringClass, elements);
   }
 
   void registerFallThroughError(TreeElements elements) {
     enqueueInResolution(getFallThroughError(), elements);
   }
 
@@ skipping 385 matching lines @@
   }
 
   Element getExceptionUnwrapper() {
     return compiler.findHelper('unwrapException');
   }
 
   Element getThrowRuntimeError() {
     return compiler.findHelper('throwRuntimeError');
   }
 
+  Element getThrowTypeError() {
+    return compiler.findHelper('throwTypeError');
+  }
+
   Element getThrowAbstractClassInstantiationError() {
     return compiler.findHelper('throwAbstractClassInstantiationError');
   }
 
   Element getStringInterpolationHelper() {
     return compiler.findHelper('S');
   }
 
   Element getWrapExceptionHelper() {
     return compiler.findHelper(r'wrapException');
@@ skipping 32 matching lines @@
   }
 
   Element getGetRuntimeTypeArgument() {
     return compiler.findHelper('getRuntimeTypeArgument');
   }
 
   Element getRuntimeTypeToString() {
     return compiler.findHelper('runtimeTypeToString');
   }
 
+  Element getAssertIsSubtype() {
+    return compiler.findHelper('assertIsSubtype');
+  }
+
   Element getCheckSubtype() {
     return compiler.findHelper('checkSubtype');
   }
 
   Element getAssertSubtype() {
     return compiler.findHelper('assertSubtype');
   }
 
   Element getCheckSubtypeOfRuntimeType() {
     return compiler.findHelper('checkSubtypeOfRuntimeType');
@@ skipping 326 matching lines @@
     copy(constant.values);
     copy(constant.protoValue);
     copy(constant);
   }
 
   void visitConstructed(ConstructedConstant constant) {
     copy(constant.fields);
     copy(constant);
   }
 }