add checks needed for covariant generics, and List<E>

test/browser/runtime_tests.js

 // Copyright (c) 2015, 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.
 
 var assert = chai.assert;
 
 suite('generic', () => {
   "use strict";
 
   let generic = dart.generic;
@@ skipping 67 matching lines @@
 suite('instanceOf', () => {
   "use strict";
 
   let expect = assert.equal;
   let isGroundType = dart.isGroundType;
   let generic = dart.generic;
   let intIsNonNullable = false;
   let cast = dart.as;
   let instanceOf = dart.is;
   let runtimeType = dart.realRuntimeType;
-  let setType = dart.setType;
+  let setRuntimeType = dart.setRuntimeType;
   let functionType = dart.functionType;
   let typedef = dart.typedef;
 
   let Object = core.Object;
   let String = core.String;
   let dynamic = dart.dynamic;
   let List = core.List;
   let Map = core.Map;
   let Map$ = core.Map$;
   let int = core.int;
@@ skipping 12 matching lines @@
 
   let Func2 = typedef('Func2', () => functionType(dynamic, [dynamic, dynamic]));
   let Foo = typedef('Foo', () => functionType(B, [B, String]));
 
   let FuncG$ = generic((T, U) => typedef('FuncG', () => functionType(T, [T, U])))
   let FuncG = FuncG$();
 
   // TODO(vsm): Revisit when we encode types on functions properly.
   // A bar1(C c, String s) => null;
   function bar1(c, s) { return null; }
-  setType(bar1, functionType(A, [C, String]));
+  setRuntimeType(bar1, functionType(A, [C, String]));
 
   // bar2(B b, String s) => null;
   function bar2(b, s) { return null; }
-  setType(bar2, functionType(dynamic, [B, String]));
+  setRuntimeType(bar2, functionType(dynamic, [B, String]));
 
   // B bar3(B b, Object o) => null;
   function bar3(b, o) { return null; }
-  setType(bar3, functionType(B, [B, Object]));
+  setRuntimeType(bar3, functionType(B, [B, Object]));
 
   // B bar4(B b, o) => null;
   function bar4(b, o) { return null; }
-  setType(bar4, functionType(B, [B, dynamic]));
+  setRuntimeType(bar4, functionType(B, [B, dynamic]));
 
   // C bar5(A a, Object o) => null;
   function bar5(a, o) { return null; }
-  setType(bar5, functionType(C, [A, Object]));
+  setRuntimeType(bar5, functionType(C, [A, Object]));
 
   // B bar6(B b, String s, String o) => null;
   function bar6(b, s, o) { return null; }
-  setType(bar6, functionType(B, [B, String, String]));
+  setRuntimeType(bar6, functionType(B, [B, String, String]));
 
   // B bar7(B b, String s, [Object o]) => null;
   function bar7(b, s, o) { return null; }
-  setType(bar7, functionType(B, [B, String], [Object]));
+  setRuntimeType(bar7, functionType(B, [B, String], [Object]));
 
   // B bar8(B b, String s, {Object p}) => null;
   function bar8(b, s, o) { return null; }
-  setType(bar8, functionType(B, [B, String], {p: Object}));
+  setRuntimeType(bar8, functionType(B, [B, String], {p: Object}));
 
   function checkType(x, type, expectedTrue) {
     if (expectedTrue === undefined) expectedTrue = true;
     expect(instanceOf(x, type), expectedTrue);
   }
 
   test('int', () => {
     expect(isGroundType(int), true);
     expect(isGroundType(runtimeType(5)), true);
 
@@ skipping 224 matching lines @@
     let n = 42;
     let intHash = dart.hashCode(n);
     checkType(intHash, core.int);
 
     let intString = dart.toString(n);
     assert.equal(intString, '42');
     let intType = dart.runtimeType(n);
     assert.equal(intType, core.int);
   });
 });