Downward inference

test/dart_codegen/expect/convert/json.dart

 part of dart.convert;
  class JsonUnsupportedObjectError extends Error {final unsupportedObject;
  final cause;
  JsonUnsupportedObjectError(this.unsupportedObject, {
   this.cause}
 );
  String toString() {
   if (cause != null) {
     return "Converting object to an encodable object failed.";
     }
@@ skipping 83 matching lines @@
  if (string.isEmpty) return new Uint8List(0);
  checkAscii: {
 for (int i = 0; i < string.length; i++) {
 if (string.codeUnitAt(i) >= 0x80) break checkAscii;
 }
  return string.codeUnits;
 }
  return UTF8.encode(string);
 }
  List<int> convert(Object object) {
-List<List<int>> bytes = ((__x15) => DEVC$RT.cast(__x15, DEVC$RT.type((List<dynamic> _) {
-}
-), DEVC$RT.type((List<List<int>> _) {
-}
-), "InferableLiteral", """line 338, column 29 of dart:convert/json.dart: """, __x15 is List<List<int>>, false))([]);
+List<List<int>> bytes = <List<int>> [];
  void addChunk(Uint8List chunk, int start, int end) {
 if (start > 0 || end < chunk.length) {
 int length = end - start;
  chunk = new Uint8List.view(chunk.buffer, chunk.offsetInBytes + start, length);
 }
  bytes.add(chunk);
 }
  _JsonUtf8Stringifier.stringify(object, _indent, DEVC$RT.cast(_toEncodable, Function, __t13, "CompositeCast", """line 352, column 36 of dart:convert/json.dart: """, _toEncodable is __t13, false), _bufferSize, addChunk);
  if (bytes.length == 1) return bytes[0];
  int length = 0;
@@ skipping 13 matching lines @@
 ByteConversionSink byteSink;
  if (sink is ByteConversionSink) {
 byteSink = sink;
 }
  else {
 byteSink = new ByteConversionSink.from(sink);
 }
  return new _JsonUtf8EncoderSink(byteSink, _toEncodable, _indent, _bufferSize);
 }
  Stream<List<int>> bind(Stream<Object> stream) {
-return ((__x16) => DEVC$RT.cast(__x16, DEVC$RT.type((DDC$async$.Stream<dynamic> _) {
+return ((__x15) => DEVC$RT.cast(__x15, DEVC$RT.type((DDC$async$.Stream<dynamic> _) {
 }
 ), DEVC$RT.type((DDC$async$.Stream<List<int>> _) {
 }
-), "CompositeCast", """line 391, column 12 of dart:convert/json.dart: """, __x16 is DDC$async$.Stream<List<int>>, false))(super.bind(stream));
+), "CompositeCast", """line 391, column 12 of dart:convert/json.dart: """, __x15 is DDC$async$.Stream<List<int>>, false))(super.bind(stream));
 }
  Converter<Object, dynamic> fuse(Converter<List<int>, dynamic> other) {
 return super.fuse(other);
 }
 }
  class _JsonEncoderSink extends ChunkedConversionSink<Object> {final String _indent;
  final Function _toEncodable;
  final StringConversionSink _sink;
  bool _isDone = false;
  _JsonEncoderSink(this._sink, this._toEncodable, this._indent);
@@ skipping 50 matching lines @@
  static const int CHAR_0 = 0x30;
  static const int BACKSLASH = 0x5c;
  static const int CHAR_b = 0x62;
  static const int CHAR_f = 0x66;
  static const int CHAR_n = 0x6e;
  static const int CHAR_r = 0x72;
  static const int CHAR_t = 0x74;
  static const int CHAR_u = 0x75;
  final List _seen = new List();
  final Function _toEncodable;
- _JsonStringifier(Object _toEncodable(Object o)) : _toEncodable = ((__x17) => DEVC$RT.cast(__x17, dynamic, Function, "DynamicCast", """line 547, column 24 of dart:convert/json.dart: """, __x17 is Function, true))((_toEncodable != null) ? _toEncodable : _defaultToEncodable);
+ _JsonStringifier(Object _toEncodable(Object o)) : _toEncodable = ((__x16) => DEVC$RT.cast(__x16, dynamic, Function, "DynamicCast", """line 547, column 24 of dart:convert/json.dart: """, __x16 is Function, true))((_toEncodable != null) ? _toEncodable : _defaultToEncodable);
  void writeString(String characters);
  void writeStringSlice(String characters, int start, int end);
  void writeCharCode(int charCode);
  void writeNumber(num number);
  static int hexDigit(int x) => x < 10 ? 48 + x : 87 + x;
  void writeStringContent(String s) {
 int offset = 0;
  final int length = s.length;
  for (int i = 0; i < length; i++) {
 int charCode = s.codeUnitAt(i);
@@ skipping 109 matching lines @@
  for (int i = 1; i < list.length; i++) {
 writeString(',');
  writeObject(list[i]);
 }
 }
  writeString(']');
 }
  void writeMap(Map<String, Object> map) {
 writeString('{');
  String separator = '"';
- map.forEach(((__x26) => DEVC$RT.wrap((dynamic f(String __u18, dynamic __u19)) {
+ map.forEach(((__x25) => DEVC$RT.wrap((dynamic f(String __u17, dynamic __u18)) {
 dynamic c(String x0, dynamic x1) => f(x0, x1);
  return f == null ? null : c;
 }
-, __x26, __t23, __t20, "WrapLiteral", """line 721, column 17 of dart:convert/json.dart: """, __x26 is __t20))((String key, value) {
+, __x25, __t22, __t19, "WrapLiteral", """line 721, column 17 of dart:convert/json.dart: """, __x25 is __t19))((String key, value) {
 writeString(separator);
  separator = ',"';
  writeStringContent(key);
  writeString('":');
  writeObject(value);
 }
 ));
  writeString('}');
 }
 }
@@ skipping 193 matching lines @@
 for (int i = 0; i < indentLength; i++) {
 writeByte(indent[i]);
 }
 }
 }
 }
 }
  typedef Object __t7(Object __u8);
  typedef dynamic __t9(dynamic __u10);
  typedef dynamic __t13(Object __u14);
- typedef void __t20(String __u21, Object __u22);
- typedef dynamic __t23(String __u24, dynamic __u25);
+ typedef void __t19(String __u20, Object __u21);
+ typedef dynamic __t22(String __u23, dynamic __u24);