Allow S->T <: dynamic->T

test/codegen/expect/dart/_internal.js

 var _internal;
 (function(exports) {
   'use strict';
   class EfficientLength extends core.Object {
   }
   let ListIterable$ = dart.generic(function(E) {
     class ListIterable extends collection.IterableBase$(E) {
       ListIterable() {
         super.IterableBase();
       }
@@ skipping 141 matching lines @@
               throw new core.ConcurrentModificationError(this);
             }
           }
           return buffer.toString();
         }
       }
       where(test) {
         return super.where(test);
       }
       map(f) {
-        return new MappedListIterable(this, dart.as(f, dart.throw_("Unimplemented type (dynamic) → dynamic")));
+        return new MappedListIterable(this, f);
       }
       reduce(combine) {
         let length = this.length;
         if (length === 0)
           throw IterableElementError.noElement();
         let value = this.elementAt(0);
         for (let i = 1; dart.notNull(i) < dart.notNull(length); i = dart.notNull(i) + 1) {
-          value = combine(value, this.elementAt(i));
+          value = dart.dinvokef(combine, value, this.elementAt(i));
           if (length !== this.length) {
             throw new core.ConcurrentModificationError(this);
           }
         }
         return value;
       }
       fold(initialValue, combine) {
         let value = initialValue;
         let length = this.length;
         for (let i = 0; dart.notNull(i) < dart.notNull(length); i = dart.notNull(i) + 1) {
-          value = combine(value, this.elementAt(i));
+          value = dart.dinvokef(combine, value, this.elementAt(i));
           if (length !== this.length) {
             throw new core.ConcurrentModificationError(this);
           }
         }
         return value;
       }
       skip(count) {
         return new SubListIterable(this, count, null);
       }
       skipWhile(test) {
@@ skipping 282 matching lines @@
   });
   let WhereIterator = WhereIterator$(dart.dynamic);
   let ExpandIterable$ = dart.generic(function(S, T) {
     class ExpandIterable extends collection.IterableBase$(T) {
       ExpandIterable($_iterable, $_f) {
         this[_iterable] = $_iterable;
         this[_f] = $_f;
         super.IterableBase();
       }
       get iterator() {
-        return new ExpandIterator(this[_iterable].iterator, dart.as(this[_f], dart.throw_("Unimplemented type (S) → Iterable<T>")));
+        return new ExpandIterator(this[_iterable].iterator, dart.closureWrap(this[_f], "(S) → Iterable<T>"));
       }
     }
     return ExpandIterable;
   });
   let ExpandIterable = ExpandIterable$(dart.dynamic, dart.dynamic);
   let _currentExpansion = Symbol('_currentExpansion');
   let _nextExpansion = Symbol('_nextExpansion');
   let ExpandIterator$ = dart.generic(function(S, T) {
     class ExpandIterator extends core.Object {
       ExpandIterator($_iterator, $_f) {
         this[_iterator] = $_iterator;
         this[_f] = $_f;
         this[_currentExpansion] = dart.as(new EmptyIterator(), core.Iterator$(T));
         this[_current] = null;
       }
       [_nextExpansion]() {}
       get current() {
         return this[_current];
       }
       moveNext() {
         if (this[_currentExpansion] === null)
           return false;
         while (!dart.notNull(this[_currentExpansion].moveNext())) {
           this[_current] = null;
           if (this[_iterator].moveNext()) {
             this[_currentExpansion] = null;
-            this[_currentExpansion] = dart.as(this[_f](this[_iterator].current).iterator, core.Iterator$(T));
+            this[_currentExpansion] = dart.as(dart.dinvokef(this[_f], this[_iterator].current).iterator, core.Iterator$(T));
           } else {
             return false;
           }
         }
         this[_current] = this[_currentExpansion].current;
         return true;
       }
     }
     return ExpandIterator;
   });
@@ skipping 65 matching lines @@
   });
   let TakeIterator = TakeIterator$(dart.dynamic);
   let TakeWhileIterable$ = dart.generic(function(E) {
     class TakeWhileIterable extends collection.IterableBase$(E) {
       TakeWhileIterable($_iterable, $_f) {
         this[_iterable] = $_iterable;
         this[_f] = $_f;
         super.IterableBase();
       }
       get iterator() {
-        return new TakeWhileIterator(this[_iterable].iterator, this[_f]);
+        return new TakeWhileIterator(this[_iterable].iterator, dart.closureWrap(this[_f], "(E) → bool"));
       }
     }
     return TakeWhileIterable;
   });
   let TakeWhileIterable = TakeWhileIterable$(dart.dynamic);
   let _isFinished = Symbol('_isFinished');
   let TakeWhileIterator$ = dart.generic(function(E) {
     class TakeWhileIterator extends core.Iterator$(E) {
       TakeWhileIterator($_iterator, $_f) {
         this[_iterator] = $_iterator;
         this[_f] = $_f;
         this[_isFinished] = false;
         super.Iterator();
       }
       moveNext() {
         if (this[_isFinished])
           return false;
-        if (!dart.notNull(this[_iterator].moveNext()) || !dart.notNull(this[_f](this[_iterator].current))) {
+        if (!dart.notNull(this[_iterator].moveNext()) || !dart.notNull(dart.dinvokef(this[_f], this[_iterator].current))) {
           this[_isFinished] = true;
           return false;
         }
         return true;
       }
       get current() {
         if (this[_isFinished])
           return null;
         return this[_iterator].current;
       }
@@ skipping 71 matching lines @@
   });
   let SkipIterator = SkipIterator$(dart.dynamic);
   let SkipWhileIterable$ = dart.generic(function(E) {
     class SkipWhileIterable extends collection.IterableBase$(E) {
       SkipWhileIterable($_iterable, $_f) {
         this[_iterable] = $_iterable;
         this[_f] = $_f;
         super.IterableBase();
       }
       get iterator() {
-        return new SkipWhileIterator(this[_iterable].iterator, this[_f]);
+        return new SkipWhileIterator(this[_iterable].iterator, dart.closureWrap(this[_f], "(E) → bool"));
       }
     }
     return SkipWhileIterable;
   });
   let SkipWhileIterable = SkipWhileIterable$(dart.dynamic);
   let _hasSkipped = Symbol('_hasSkipped');
   let SkipWhileIterator$ = dart.generic(function(E) {
     class SkipWhileIterator extends core.Iterator$(E) {
       SkipWhileIterator($_iterator, $_f) {
         this[_iterator] = $_iterator;
         this[_f] = $_f;
         this[_hasSkipped] = false;
         super.Iterator();
       }
       moveNext() {
         if (!dart.notNull(this[_hasSkipped])) {
           this[_hasSkipped] = true;
           while (this[_iterator].moveNext()) {
-            if (!dart.notNull(this[_f](this[_iterator].current)))
+            if (!dart.notNull(dart.dinvokef(this[_f], this[_iterator].current)))
               return true;
           }
         }
         return this[_iterator].moveNext();
       }
       get current() {
         return this[_iterator].current;
       }
     }
     return SkipWhileIterator;
@@ skipping 120 matching lines @@
     class IterableMixinWorkaround extends core.Object {
       static contains(iterable, element) {
         for (let e of iterable) {
           if (dart.equals(e, element))
             return true;
         }
         return false;
       }
       static forEach(iterable, f) {
         for (let e of iterable) {
-          f(e);
+          dart.dinvokef(f, e);
         }
       }
       static any(iterable, f) {
         for (let e of iterable) {
-          if (f(e))
+          if (dart.dinvokef(f, e))
             return true;
         }
         return false;
       }
       static every(iterable, f) {
         for (let e of iterable) {
-          if (!dart.notNull(f(e)))
+          if (!dart.notNull(dart.dinvokef(f, e)))
             return false;
         }
         return true;
       }
       static reduce(iterable, combine) {
         let iterator = iterable.iterator;
         if (!dart.notNull(iterator.moveNext()))
           throw IterableElementError.noElement();
         let value = iterator.current;
         while (iterator.moveNext()) {
-          value = combine(value, iterator.current);
+          value = dart.dinvokef(combine, value, iterator.current);
         }
         return value;
       }
       static fold(iterable, initialValue, combine) {
         for (let element of iterable) {
-          initialValue = combine(initialValue, element);
+          initialValue = dart.dinvokef(combine, initialValue, element);
         }
         return initialValue;
       }
       static removeWhereList(list, test) {
         let retained = new List.from([]);
         let length = list.length;
         for (let i = 0; dart.notNull(i) < dart.notNull(length); i = dart.notNull(i) + 1) {
           let element = list.get(i);
-          if (!dart.notNull(test(element))) {
+          if (!dart.notNull(dart.dinvokef(test, element))) {
             retained.add(element);
           }
           if (length !== list.length) {
             throw new core.ConcurrentModificationError(list);
           }
         }
         if (retained.length === length)
           return;
         list.length = retained.length;
         for (let i = 0; dart.notNull(i) < dart.notNull(retained.length); i = dart.notNull(i) + 1) {
@@ skipping 25 matching lines @@
         let it = iterable.iterator;
         if (!dart.notNull(it.moveNext()))
           throw IterableElementError.noElement();
         let result = it.current;
         if (it.moveNext())
           throw IterableElementError.tooMany();
         return result;
       }
       static firstWhere(iterable, test, orElse) {
         for (let element of iterable) {
-          if (test(element))
+          if (dart.dinvokef(test, element))
             return element;
         }
         if (orElse !== null)
           return orElse();
         throw IterableElementError.noElement();
       }
       static lastWhere(iterable, test, orElse) {
         let result = null;
         let foundMatching = false;
         for (let element of iterable) {
-          if (test(element)) {
+          if (dart.dinvokef(test, element)) {
             result = element;
             foundMatching = true;
           }
         }
         if (foundMatching)
           return result;
         if (orElse !== null)
           return orElse();
         throw IterableElementError.noElement();
       }
       static lastWhereList(list, test, orElse) {
         for (let i = dart.notNull(list.length) - 1; dart.notNull(i) >= 0; i = dart.notNull(i) - 1) {
           let element = list.get(i);
-          if (test(element))
+          if (dart.dinvokef(test, element))
             return element;
         }
         if (orElse !== null)
           return orElse();
         throw IterableElementError.noElement();
       }
       static singleWhere(iterable, test) {
         let result = null;
         let foundMatching = false;
         for (let element of iterable) {
-          if (test(element)) {
+          if (dart.dinvokef(test, element)) {
             if (foundMatching) {
               throw IterableElementError.tooMany();
             }
             result = element;
             foundMatching = true;
           }
         }
         if (foundMatching)
           return result;
         throw IterableElementError.noElement();
@@ skipping 32 matching lines @@
         } else {
           buffer.write(list.get(0));
           for (let i = 1; dart.notNull(i) < dart.notNull(list.length); i = dart.notNull(i) + 1) {
             buffer.write(separator);
             buffer.write(list.get(i));
           }
         }
         return buffer.toString();
       }
       where(iterable, f) {
-        return new WhereIterable(dart.as(iterable, core.Iterable$(T)), f);
+        return new WhereIterable(dart.as(iterable, core.Iterable$(T)), dart.closureWrap(f, "(T) → bool"));
       }
       static map(iterable, f) {
         return new MappedIterable(iterable, f);
       }
       static mapList(list, f) {
         return new MappedListIterable(list, f);
       }
       static expand(iterable, f) {
         return new ExpandIterable(iterable, f);
       }
       takeList(list, n) {
         return new SubListIterable(dart.as(list, core.Iterable$(T)), 0, n);
       }
       takeWhile(iterable, test) {
-        return new TakeWhileIterable(dart.as(iterable, core.Iterable$(T)), test);
+        return new TakeWhileIterable(dart.as(iterable, core.Iterable$(T)), dart.closureWrap(test, "(T) → bool"));
       }
       skipList(list, n) {
         return new SubListIterable(dart.as(list, core.Iterable$(T)), n, null);
       }
       skipWhile(iterable, test) {
-        return new SkipWhileIterable(dart.as(iterable, core.Iterable$(T)), test);
+        return new SkipWhileIterable(dart.as(iterable, core.Iterable$(T)), dart.closureWrap(test, "(T) → bool"));
       }
       reversedList(list) {
         return new ReversedListIterable(dart.as(list, core.Iterable$(T)));
       }
       static sortList(list, compare) {
         if (compare === null)
-          compare = dart.as(core.Comparable.compare, dart.throw_("Unimplemented type (dynamic, dynamic) → int"));
+          compare = core.Comparable.compare;
         Sort.sort(list, compare);
       }
       static shuffleList(list, random) {
         if (random === null)
           random = new math.Random();
         let length = list.length;
         while (dart.notNull(length) > 1) {
           let pos = random.nextInt(length);
           length = 1;
           let tmp = list.get(length);
@@ skipping 478 matching lines @@
       if (dart.notNull(right) - dart.notNull(left) <= dart.notNull(Sort._INSERTION_SORT_THRESHOLD)) {
         _insertionSort(a, left, right, compare);
       } else {
         _dualPivotQuicksort(a, left, right, compare);
       }
     }
     static [_insertionSort](a, left, right, compare) {
       for (let i = dart.notNull(left) + 1; dart.notNull(i) <= dart.notNull(right); i = dart.notNull(i) + 1) {
         let el = a.get(i);
         let j = i;
-        while (dart.notNull(j) > dart.notNull(left) && dart.notNull(compare(a.get(dart.notNull(j) - 1), el)) > 0) {
+        while (dart.notNull(j) > dart.notNull(left) && dart.notNull(dart.dinvokef(compare, a.get(dart.notNull(j) - 1), el)) > 0) {
           a.set(j, a.get(dart.notNull(j) - 1));
           j = dart.notNull(j) - 1;
         }
         a.set(j, el);
       }
     }
     static [_dualPivotQuicksort](a, left, right, compare) {
       dart.assert(dart.notNull(right) - dart.notNull(left) > dart.notNull(Sort._INSERTION_SORT_THRESHOLD));
       let sixth = ((dart.notNull(right) - dart.notNull(left) + 1) / 6).truncate();
       let index1 = dart.notNull(left) + dart.notNull(sixth);
       let index5 = dart.notNull(right) - dart.notNull(sixth);
       let index3 = ((dart.notNull(left) + dart.notNull(right)) / 2).truncate();
       let index2 = dart.notNull(index3) - dart.notNull(sixth);
       let index4 = dart.notNull(index3) + dart.notNull(sixth);
       let el1 = a.get(index1);
       let el2 = a.get(index2);
       let el3 = a.get(index3);
       let el4 = a.get(index4);
       let el5 = a.get(index5);
-      if (dart.notNull(compare(el1, el2)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el1, el2)) > 0) {
         let t = el1;
         el1 = el2;
         el2 = t;
       }
-      if (dart.notNull(compare(el4, el5)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el4, el5)) > 0) {
         let t = el4;
         el4 = el5;
         el5 = t;
       }
-      if (dart.notNull(compare(el1, el3)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el1, el3)) > 0) {
         let t = el1;
         el1 = el3;
         el3 = t;
       }
-      if (dart.notNull(compare(el2, el3)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el2, el3)) > 0) {
         let t = el2;
         el2 = el3;
         el3 = t;
       }
-      if (dart.notNull(compare(el1, el4)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el1, el4)) > 0) {
         let t = el1;
         el1 = el4;
         el4 = t;
       }
-      if (dart.notNull(compare(el3, el4)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el3, el4)) > 0) {
         let t = el3;
         el3 = el4;
         el4 = t;
       }
-      if (dart.notNull(compare(el2, el5)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el2, el5)) > 0) {
         let t = el2;
         el2 = el5;
         el5 = t;
       }
-      if (dart.notNull(compare(el2, el3)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el2, el3)) > 0) {
         let t = el2;
         el2 = el3;
         el3 = t;
       }
-      if (dart.notNull(compare(el4, el5)) > 0) {
+      if (dart.notNull(dart.dinvokef(compare, el4, el5)) > 0) {
         let t = el4;
         el4 = el5;
         el5 = t;
       }
       let pivot1 = el2;
       let pivot2 = el4;
       a.set(index1, el1);
       a.set(index3, el3);
       a.set(index5, el5);
       a.set(index2, a.get(left));
       a.set(index4, a.get(right));
       let less = dart.notNull(left) + 1;
       let great = dart.notNull(right) - 1;
-      let pivots_are_equal = compare(pivot1, pivot2) === 0;
+      let pivots_are_equal = dart.dinvokef(compare, pivot1, pivot2) === 0;
       if (pivots_are_equal) {
         let pivot = pivot1;
         for (let k = less; dart.notNull(k) <= dart.notNull(great); k = dart.notNull(k) + 1) {
           let ak = a.get(k);
-          let comp = compare(ak, pivot);
+          let comp = dart.dinvokef(compare, ak, pivot);
           if (comp === 0)
             continue;
           if (dart.notNull(comp) < 0) {
             if (k !== less) {
               a.set(k, a.get(less));
               a.set(less, ak);
             }
             less = dart.notNull(less) + 1;
           } else {
             while (true) {
-              comp = compare(a.get(great), pivot);
+              comp = dart.dinvokef(compare, a.get(great), pivot);
               if (dart.notNull(comp) > 0) {
                 great = dart.notNull(great) - 1;
                 continue;
               } else if (dart.notNull(comp) < 0) {
                 a.set(k, a.get(less));
                 a.set((($tmp) => less = dart.notNull($tmp) + 1, $tmp)(less), a.get(great));
                 a.set((($tmp) => great = dart.notNull($tmp) - 1, $tmp)(great), ak);
                 break;
               } else {
                 a.set(k, a.get(great));
                 a.set((($tmp) => great = dart.notNull($tmp) - 1, $tmp)(great), ak);
                 break;
               }
             }
           }
         }
       } else {
         for (let k = less; dart.notNull(k) <= dart.notNull(great); k = dart.notNull(k) + 1) {
           let ak = a.get(k);
-          let comp_pivot1 = compare(ak, pivot1);
+          let comp_pivot1 = dart.dinvokef(compare, ak, pivot1);
           if (dart.notNull(comp_pivot1) < 0) {
             if (k !== less) {
               a.set(k, a.get(less));
               a.set(less, ak);
             }
             less = dart.notNull(less) + 1;
           } else {
-            let comp_pivot2 = compare(ak, pivot2);
+            let comp_pivot2 = dart.dinvokef(compare, ak, pivot2);
             if (dart.notNull(comp_pivot2) > 0) {
               while (true) {
-                let comp = compare(a.get(great), pivot2);
+                let comp = dart.dinvokef(compare, a.get(great), pivot2);
                 if (dart.notNull(comp) > 0) {
                   great = dart.notNull(great) - 1;
                   if (dart.notNull(great) < dart.notNull(k))
                     break;
                   continue;
                 } else {
-                  comp = compare(a.get(great), pivot1);
+                  comp = dart.dinvokef(compare, a.get(great), pivot1);
                   if (dart.notNull(comp) < 0) {
                     a.set(k, a.get(less));
                     a.set((($tmp) => less = dart.notNull($tmp) + 1, $tmp)(less), a.get(great));
                     a.set((($tmp) => great = dart.notNull($tmp) - 1, $tmp)(great), ak);
                   } else {
                     a.set(k, a.get(great));
                     a.set((($tmp) => great = dart.notNull($tmp) - 1, $tmp)(great), ak);
                   }
                   break;
                 }
               }
             }
           }
         }
       }
       a.set(left, a.get(dart.notNull(less) - 1));
       a.set(dart.notNull(less) - 1, pivot1);
       a.set(right, a.get(dart.notNull(great) + 1));
       a.set(dart.notNull(great) + 1, pivot2);
       _doSort(a, left, dart.notNull(less) - 2, compare);
       _doSort(a, dart.notNull(great) + 2, right, compare);
       if (pivots_are_equal) {
         return;
       }
       if (dart.notNull(less) < dart.notNull(index1) && dart.notNull(great) > dart.notNull(index5)) {
-        while (compare(a.get(less), pivot1) === 0) {
+        while (dart.dinvokef(compare, a.get(less), pivot1) === 0) {
           less = dart.notNull(less) + 1;
         }
-        while (compare(a.get(great), pivot2) === 0) {
+        while (dart.dinvokef(compare, a.get(great), pivot2) === 0) {
           great = dart.notNull(great) - 1;
         }
         for (let k = less; dart.notNull(k) <= dart.notNull(great); k = dart.notNull(k) + 1) {
           let ak = a.get(k);
-          let comp_pivot1 = compare(ak, pivot1);
+          let comp_pivot1 = dart.dinvokef(compare, ak, pivot1);
           if (comp_pivot1 === 0) {
             if (k !== less) {
               a.set(k, a.get(less));
               a.set(less, ak);
             }
             less = dart.notNull(less) + 1;
           } else {
-            let comp_pivot2 = compare(ak, pivot2);
+            let comp_pivot2 = dart.dinvokef(compare, ak, pivot2);
             if (comp_pivot2 === 0) {
               while (true) {
-                let comp = compare(a.get(great), pivot2);
+                let comp = dart.dinvokef(compare, a.get(great), pivot2);
                 if (comp === 0) {
                   great = dart.notNull(great) - 1;
                   if (dart.notNull(great) < dart.notNull(k))
                     break;
                   continue;
                 } else {
-                  comp = compare(a.get(great), pivot1);
+                  comp = dart.dinvokef(compare, a.get(great), pivot1);
                   if (dart.notNull(comp) < 0) {
                     a.set(k, a.get(less));
                     a.set((($tmp) => less = dart.notNull($tmp) + 1, $tmp)(less), a.get(great));
                     a.set((($tmp) => great = dart.notNull($tmp) - 1, $tmp)(great), ak);
                   } else {
                     a.set(k, a.get(great));
                     a.set((($tmp) => great = dart.notNull($tmp) - 1, $tmp)(great), ak);
                   }
                   break;
                 }
@@ skipping 126 matching lines @@
   exports.ReversedListIterable$ = ReversedListIterable$;
   exports.UnmodifiableListError = UnmodifiableListError;
   exports.NonGrowableListError = NonGrowableListError;
   exports.makeListFixedLength = makeListFixedLength;
   exports.Lists = Lists;
   exports.printToConsole = printToConsole;
   exports.Sort = Sort;
   exports.Symbol = Symbol;
   exports.POWERS_OF_TEN = POWERS_OF_TEN;
 })(_internal || (_internal = {}));