Allow S->T <: dynamic->T

test/codegen/expect/dart/convert.js

 var convert;
 (function(exports) {
   'use strict';
   let ASCII = new AsciiCodec();
   let _ASCII_MASK = 127;
   let _allowInvalid = Symbol('_allowInvalid');
   class AsciiCodec extends Encoding {
     AsciiCodec(opt$) {
       let allowInvalid = opt$.allowInvalid === void 0 ? false : opt$.allowInvalid;
       this[_allowInvalid] = allowInvalid;
@@ skipping 600 matching lines @@
       if (reviver === null)
         return this.decoder.convert(source);
       return new JsonDecoder(reviver).convert(source);
     }
     encode(value, opt$) {
       let toEncodable = opt$.toEncodable === void 0 ? null : opt$.toEncodable;
       if (toEncodable === null)
         toEncodable = this[_toEncodable];
       if (toEncodable === null)
         return this.encoder.convert(value);
-      return new JsonEncoder(dart.as(toEncodable, dart.throw_("Unimplemented type (Object) → Object"))).convert(value);
+      return new JsonEncoder(dart.closureWrap(toEncodable, "(Object) → Object")).convert(value);
     }
     get encoder() {
       if (this[_toEncodable] === null)
         return new JsonEncoder();
-      return new JsonEncoder(dart.as(this[_toEncodable], dart.throw_("Unimplemented type (Object) → Object")));
+      return new JsonEncoder(dart.closureWrap(this[_toEncodable], "(Object) → Object"));
     }
     get decoder() {
       if (this[_reviver] === null)
         return new JsonDecoder();
       return new JsonDecoder(this[_reviver]);
     }
   }
   dart.defineNamedConstructor(JsonCodec, 'withReviver');
   class JsonEncoder extends Converter$(core.Object, core.String) {
     JsonEncoder(toEncodable) {
@@ skipping 321 matching lines @@
         for (let i = 1; dart.notNull(i) < dart.notNull(list.length); i = dart.notNull(i) + 1) {
           this.writeString(',');
           this.writeObject(list.get(i));
         }
       }
       this.writeString(']');
     }
     writeMap(map) {
       this.writeString('{');
       let separator = '"';
-      map.forEach(((key, value) => {
+      map.forEach(dart.closureWrap(((key, value) => {
         this.writeString(separator);
         separator = ',"';
         this.writeStringContent(key);
         this.writeString('":');
         this.writeObject(value);
-      }).bind(this));
+      }).bind(this), "(String, Object) → void"));
       this.writeString('}');
     }
   }
   _JsonStringifier.BACKSPACE = 8;
   _JsonStringifier.TAB = 9;
   _JsonStringifier.NEWLINE = 10;
   _JsonStringifier.CARRIAGE_RETURN = 13;
   _JsonStringifier.FORM_FEED = 12;
   _JsonStringifier.QUOTE = 34;
   _JsonStringifier.CHAR_0 = 48;
@@ skipping 28 matching lines @@
         this.writeString(']');
       }
     }
     writeMap(map) {
       if (map.isEmpty) {
         this.writeString('{}');
       } else {
         this.writeString('{\n');
         this[_indentLevel] = dart.notNull(this[_indentLevel]) + 1;
         let first = true;
-        map.forEach(dart.as(((key, value) => {
+        map.forEach(((key, value) => {
           if (!dart.notNull(first)) {
             this.writeString(",\n");
           }
           this.writeIndentation(this[_indentLevel]);
           this.writeString('"');
           this.writeStringContent(key);
           this.writeString('": ');
           this.writeObject(value);
           first = false;
-        }).bind(this), dart.throw_("Unimplemented type (dynamic, dynamic) → void")));
+        }).bind(this));
         this.writeString('\n');
         this[_indentLevel] = dart.notNull(this[_indentLevel]) - 1;
         this.writeIndentation(this[_indentLevel]);
         this.writeString('}');
       }
     }
   }
   class _JsonStringStringifier extends _JsonStringifier {
     _JsonStringStringifier($_sink, _toEncodable) {
       this[_sink] = $_sink;
@@ skipping 981 matching lines @@
   function _convertJsonToDart(json, reviver) {
     dart.assert(reviver !== null);
     // Function walk: (dynamic) → dynamic
     function walk(e) {
       if (e == null || typeof e != "object") {
         return e;
       }
       if (Object.getPrototypeOf(e) === Array.prototype) {
         for (let i = 0; dart.notNull(i) < e.length; i = dart.notNull(i) + 1) {
           let item = e[i];
-          e[i] = reviver(i, walk(item));
+          e[i] = dart.dinvokef(reviver, i, walk(item));
         }
         return e;
       }
       let map = new _JsonMap(e);
       let processed = map[_processed];
       let keys = map._computeKeys();
       for (let i = 0; dart.notNull(i) < dart.notNull(keys.length); i = dart.notNull(i) + 1) {
         let key = keys.get(i);
-        let revived = reviver(key, walk(e[key]));
+        let revived = dart.dinvokef(reviver, key, walk(e[key]));
         processed[key] = revived;
       }
       map[_original] = processed;
       return map;
     }
-    return reviver(null, walk(json));
+    return dart.dinvokef(reviver, null, walk(json));
   }
   // Function _convertJsonToDartLazy: (dynamic) → dynamic
   function _convertJsonToDartLazy(object) {
     if (object === null)
       return null;
     if (typeof object != "object") {
       return object;
     }
     if (Object.getPrototypeOf(object) !== Array.prototype) {
       return new _JsonMap(object);
@@ skipping 117 matching lines @@
       if (this[_isUpgraded])
         return this[_upgradedMap].forEach(f);
       let keys = this[_computeKeys]();
       for (let i = 0; dart.notNull(i) < dart.notNull(keys.length); i = dart.notNull(i) + 1) {
         let key = keys.get(i);
         let value = _getProperty(this[_processed], key);
         if (_isUnprocessed(value)) {
           value = _convertJsonToDartLazy(_getProperty(this[_original], key));
           _setProperty(this[_processed], key, value);
         }
-        f(key, value);
+        dart.dinvokef(f, key, value);
         if (!dart.notNull(core.identical(keys, this[_data]))) {
           throw new core.ConcurrentModificationError(this);
         }
       }
     }
     toString() {
       return collection.Maps.mapToString(this);
     }
     get [_isUpgraded]() {
       return this[_processed] === null;
@@ skipping 122 matching lines @@
   exports.ClosableStringSink = ClosableStringSink;
   exports.StringConversionSinkBase = StringConversionSinkBase;
   exports.StringConversionSinkMixin = StringConversionSinkMixin;
   exports.UNICODE_REPLACEMENT_CHARACTER_RUNE = UNICODE_REPLACEMENT_CHARACTER_RUNE;
   exports.UNICODE_BOM_CHARACTER_RUNE = UNICODE_BOM_CHARACTER_RUNE;
   exports.UTF8 = UTF8;
   exports.Utf8Codec = Utf8Codec;
   exports.Utf8Encoder = Utf8Encoder;
   exports.Utf8Decoder = Utf8Decoder;
 })(convert || (convert = {}));