Downward inference

test/dart_codegen/expect/core/uri.dart

 part of dart.core;
  class Uri {final String _host;
  num _port;
  String _path;
  final String scheme;
  String get authority {
   if (!hasAuthority) return "";
    var sb = new StringBuffer();
    _writeAuthority(sb);
    return sb.toString();
@@ skipping 422 matching lines @@
     fragment = _makeFragment(fragment, 0, fragment.length);
     }
    else if (this.hasFragment) {
     fragment = this.fragment;
     }
    return new Uri._internal(scheme, userInfo, host, port, path, query, fragment);
   }
  List<String> get pathSegments {
   if (_pathSegments == null) {
     var pathToSplit = !path.isEmpty && path.codeUnitAt(0) == _SLASH ? path.substring(1) : path;
-     _pathSegments = ((__x22) => DEVC$RT.cast(__x22, DEVC$RT.type((DDC$collection$.UnmodifiableListView<dynamic> _) {
-      }
-    ), DEVC$RT.type((List<String> _) {
-      }
-    ), "InferableAllocation", """line 945, column 23 of dart:core/uri.dart: """, __x22 is List<String>, false))(new UnmodifiableListView(pathToSplit == "" ? const <String> [] : pathToSplit.split("/").map(Uri.decodeComponent).toList(growable: false)));
+     _pathSegments = new UnmodifiableListView(pathToSplit == "" ? const <String> [] : pathToSplit.split("/").map(Uri.decodeComponent).toList(growable: false));
     }
    return _pathSegments;
   }
  Map<String, String> get queryParameters {
   if (_queryParameters == null) {
-    _queryParameters = ((__x23) => DEVC$RT.cast(__x23, DEVC$RT.type((DDC$collection$.UnmodifiableMapView<dynamic, dynamic> _) {
-      }
-    ), DEVC$RT.type((Map<String, String> _) {
-      }
-    ), "InferableAllocation", """line 969, column 26 of dart:core/uri.dart: """, __x23 is Map<String, String>, false))(new UnmodifiableMapView(splitQueryString(query)));
+    _queryParameters = new UnmodifiableMapView<String, String>(splitQueryString(query));
     }
    return _queryParameters;
   }
  static int _makePort(int port, String scheme) {
   if (port != null && port == _defaultPort(scheme)) return null;
    return port;
   }
  static String _makeHost(String host, int start, int end, bool strictIPv6) {
   if (host == null) return null;
    if (start == end) return "";
@@ skipping 122 matching lines @@
     }
    var result;
    if (path != null) {
     result = _normalize(path, start, end, DEVC$RT.cast(_pathCharOrSlashTable, DEVC$RT.type((List<dynamic> _) {
       }
     ), DEVC$RT.type((List<int> _) {
       }
     ), "CompositeCast", """line 1139, column 45 of dart:core/uri.dart: """, _pathCharOrSlashTable is List<int>, false));
     }
    else {
-    result = pathSegments.map(((__x29) => DEVC$RT.wrap((String f(dynamic __u24)) {
+    result = pathSegments.map(((__x27) => DEVC$RT.wrap((String f(dynamic __u22)) {
       String c(dynamic x0) => f(x0);
        return f == null ? null : c;
       }
-    , __x29, __t27, __t25, "WrapLiteral", """line 1141, column 33 of dart:core/uri.dart: """, __x29 is __t25))((s) => _uriEncode(DEVC$RT.cast(_pathCharTable, DEVC$RT.type((List<dynamic> _) {
+    , __x27, __t25, __t23, "WrapLiteral", """line 1141, column 33 of dart:core/uri.dart: """, __x27 is __t23))((s) => _uriEncode(DEVC$RT.cast(_pathCharTable, DEVC$RT.type((List<dynamic> _) {
       }
     ), DEVC$RT.type((List<int> _) {
       }
     ), "CompositeCast", """line 1141, column 51 of dart:core/uri.dart: """, _pathCharTable is List<int>, false), DEVC$RT.cast(s, dynamic, String, "DynamicCast", """line 1141, column 67 of dart:core/uri.dart: """, s is String, true)))).join("/");
     }
    if (result.isEmpty) {
     if (isFile) return "/";
     }
    else if ((isFile || ensureLeadingSlash) && result.codeUnitAt(0) != _SLASH) {
     return "/$result";
     }
    return DEVC$RT.cast(result, dynamic, String, "DynamicCast", """line 1149, column 12 of dart:core/uri.dart: """, result is String, true);
   }
  static String _makeQuery(String query, int start, int end, Map<String, String> queryParameters) {
   if (query == null && queryParameters == null) return null;
    if (query != null && queryParameters != null) {
     throw new ArgumentError('Both query and queryParameters specified');
     }
    if (query != null) return _normalize(query, start, end, DEVC$RT.cast(_queryCharTable, DEVC$RT.type((List<dynamic> _) {
     }
   ), DEVC$RT.type((List<int> _) {
     }
   ), "CompositeCast", """line 1158, column 61 of dart:core/uri.dart: """, _queryCharTable is List<int>, false));
    var result = new StringBuffer();
    var first = true;
-   queryParameters.forEach(((__x38) => DEVC$RT.wrap((dynamic f(dynamic __u30, dynamic __u31)) {
+   queryParameters.forEach(((__x36) => DEVC$RT.wrap((dynamic f(dynamic __u28, dynamic __u29)) {
     dynamic c(dynamic x0, dynamic x1) => f(x0, x1);
      return f == null ? null : c;
     }
-  , __x38, __t35, __t32, "WrapLiteral", """line 1162, column 29 of dart:core/uri.dart: """, __x38 is __t32))((key, value) {
+  , __x36, __t33, __t30, "WrapLiteral", """line 1162, column 29 of dart:core/uri.dart: """, __x36 is __t30))((key, value) {
     if (!first) {
       result.write("&");
       }
      first = false;
      result.write(Uri.encodeQueryComponent(DEVC$RT.cast(key, dynamic, String, "DynamicCast", """line 1167, column 45 of dart:core/uri.dart: """, key is String, true)));
      if (value != null && !value.isEmpty) {
       result.write("=");
        result.write(Uri.encodeQueryComponent(DEVC$RT.cast(value, dynamic, String, "DynamicCast", """line 1170, column 47 of dart:core/uri.dart: """, value is String, true)));
       }
     }
@@ skipping 42 matching lines @@
   }
  static bool _isUnreservedChar(int ch) {
   return ch < 127 && ((_unreservedTable[ch >> 4] & (1 << (ch & 0x0f))) != 0);
   }
  static String _escapeChar(char) {
   assert (char <= 0x10ffff); const hexDigits = "0123456789ABCDEF";
    List codeUnits;
    if (char < 0x80) {
     codeUnits = new List(3);
      codeUnits[0] = _PERCENT;
-     codeUnits[1] = hexDigits.codeUnitAt(((__x39) => DEVC$RT.cast(__x39, dynamic, int, "DynamicCast", """line 1248, column 43 of dart:core/uri.dart: """, __x39 is int, true))(char >> 4));
-     codeUnits[2] = hexDigits.codeUnitAt(((__x40) => DEVC$RT.cast(__x40, dynamic, int, "DynamicCast", """line 1249, column 43 of dart:core/uri.dart: """, __x40 is int, true))(char & 0xf));
+     codeUnits[1] = hexDigits.codeUnitAt(((__x37) => DEVC$RT.cast(__x37, dynamic, int, "DynamicCast", """line 1248, column 43 of dart:core/uri.dart: """, __x37 is int, true))(char >> 4));
+     codeUnits[2] = hexDigits.codeUnitAt(((__x38) => DEVC$RT.cast(__x38, dynamic, int, "DynamicCast", """line 1249, column 43 of dart:core/uri.dart: """, __x38 is int, true))(char & 0xf));
     }
    else {
     int flag = 0xc0;
      int encodedBytes = 2;
      if (char > 0x7ff) {
       flag = 0xe0;
        encodedBytes = 3;
        if (char > 0xffff) {
         encodedBytes = 4;
          flag = 0xf0;
         }
       }
      codeUnits = new List(3 * encodedBytes);
      int index = 0;
      while (--encodedBytes >= 0) {
-      int byte = ((__x41) => DEVC$RT.cast(__x41, dynamic, int, "DynamicCast", """line 1265, column 20 of dart:core/uri.dart: """, __x41 is int, true))(((char >> (6 * encodedBytes)) & 0x3f) | flag);
+      int byte = ((__x39) => DEVC$RT.cast(__x39, dynamic, int, "DynamicCast", """line 1265, column 20 of dart:core/uri.dart: """, __x39 is int, true))(((char >> (6 * encodedBytes)) & 0x3f) | flag);
        codeUnits[index] = _PERCENT;
        codeUnits[index + 1] = hexDigits.codeUnitAt(byte >> 4);
        codeUnits[index + 2] = hexDigits.codeUnitAt(byte & 0xf);
        index += 3;
        flag = 0x80;
       }
     }
    return new String.fromCharCodes(DEVC$RT.cast(codeUnits, DEVC$RT.type((List<dynamic> _) {
     }
   ), DEVC$RT.type((Iterable<int> _) {
@@ skipping 87 matching lines @@
     }
    return base.substring(0, baseEnd + 1) + reference.substring(refStart - 3 * backCount);
   }
  bool _hasDotSegments(String path) {
   if (path.length > 0 && path.codeUnitAt(0) == _DOT) return true;
    int index = path.indexOf("/.");
    return index != -1;
   }
  String _removeDotSegments(String path) {
   if (!_hasDotSegments(path)) return path;
-   List<String> output = ((__x42) => DEVC$RT.cast(__x42, DEVC$RT.type((List<dynamic> _) {
-    }
-  ), DEVC$RT.type((List<String> _) {
-    }
-  ), "InferableLiteral", """line 1402, column 27 of dart:core/uri.dart: """, __x42 is List<String>, false))([]);
+   List<String> output = <String> [];
    bool appendSlash = false;
    for (String segment in path.split("/")) {
     appendSlash = false;
      if (segment == "..") {
       if (!output.isEmpty && ((output.length != 1) || (output[0] != ""))) output.removeLast();
        appendSlash = true;
       }
      else if ("." == segment) {
       appendSlash = true;
       }
@@ skipping 49 matching lines @@
         if (reference.path.startsWith("/")) {
           targetPath = _removeDotSegments(reference.path);
           }
          else {
           targetPath = _removeDotSegments(_merge(this._path, reference.path));
           }
          if (reference.hasQuery) targetQuery = reference.query;
         }
        targetUserInfo = this._userInfo;
        targetHost = this._host;
-       targetPort = ((__x43) => DEVC$RT.cast(__x43, num, int, "ImplicitCast", """line 1489, column 22 of dart:core/uri.dart: """, __x43 is int, true))(this._port);
+       targetPort = ((__x40) => DEVC$RT.cast(__x40, num, int, "ImplicitCast", """line 1489, column 22 of dart:core/uri.dart: """, __x40 is int, true))(this._port);
       }
     }
    String fragment = reference.hasFragment ? reference.fragment : null;
    return new Uri._internal(targetScheme, targetUserInfo, targetHost, targetPort, targetPath, targetQuery, fragment);
   }
  bool get hasAuthority => _host != null;
  bool get hasPort => _port != null;
  bool get hasQuery => _query != null;
  bool get hasFragment => _fragment != null;
  String get origin {
@@ skipping 84 matching lines @@
     }
    return sb.toString();
   }
  bool operator ==(other) {
   if (other is! Uri) return false;
    Uri uri = DEVC$RT.cast(other, dynamic, Uri, "DynamicCast", """line 1698, column 15 of dart:core/uri.dart: """, other is Uri, true);
    return scheme == uri.scheme && hasAuthority == uri.hasAuthority && userInfo == uri.userInfo && host == uri.host && port == uri.port && path == uri.path && hasQuery == uri.hasQuery && query == uri.query && hasFragment == uri.hasFragment && fragment == uri.fragment;
   }
  int get hashCode {
   int combine(part, current) {
-    return ((__x44) => DEVC$RT.cast(__x44, dynamic, int, "DynamicCast", """line 1714, column 14 of dart:core/uri.dart: """, __x44 is int, true))((current * 31 + part.hashCode) & 0x3FFFFFFF);
+    return ((__x41) => DEVC$RT.cast(__x41, dynamic, int, "DynamicCast", """line 1714, column 14 of dart:core/uri.dart: """, __x41 is int, true))((current * 31 + part.hashCode) & 0x3FFFFFFF);
     }
    return combine(scheme, combine(userInfo, combine(host, combine(port, combine(path, combine(query, combine(fragment, 1)))))));
   }
  static void _addIfNonEmpty(StringBuffer sb, String test, String first, String second) {
   if ("" != test) {
     sb.write(first);
      sb.write(second);
     }
   }
  static String encodeComponent(String component) {
@@ skipping 26 matching lines @@
   ), DEVC$RT.type((List<int> _) {
     }
   ), "CompositeCast", """line 1832, column 23 of dart:core/uri.dart: """, _encodeFullTable is List<int>, false), uri);
   }
  static String decodeFull(String uri) {
   return _uriDecode(uri);
   }
  static Map<String, String> splitQueryString(String query, {
   Encoding encoding : UTF8}
 ) {
-  return ((__x45) => DEVC$RT.cast(__x45, dynamic, DEVC$RT.type((Map<String, String> _) {
+  return ((__x42) => DEVC$RT.cast(__x42, dynamic, DEVC$RT.type((Map<String, String> _) {
     }
-  ), "CompositeCast", """line 1864, column 12 of dart:core/uri.dart: """, __x45 is Map<String, String>, false))(query.split("&").fold({
+  ), "CompositeCast", """line 1864, column 12 of dart:core/uri.dart: """, __x42 is Map<String, String>, false))(query.split("&").fold({
     }
-  , ((__x51) => DEVC$RT.wrap((dynamic f(dynamic __u46, dynamic __u47)) {
+  , ((__x48) => DEVC$RT.wrap((dynamic f(dynamic __u43, dynamic __u44)) {
     dynamic c(dynamic x0, dynamic x1) => f(x0, x1);
      return f == null ? null : c;
     }
-  , __x51, __t35, __t48, "WrapLiteral", """line 1864, column 38 of dart:core/uri.dart: """, __x51 is __t48))((map, element) {
-    int index = ((__x52) => DEVC$RT.cast(__x52, dynamic, int, "DynamicCast", """line 1865, column 19 of dart:core/uri.dart: """, __x52 is int, true))(element.indexOf("="));
+  , __x48, __t33, __t45, "WrapLiteral", """line 1864, column 38 of dart:core/uri.dart: """, __x48 is __t45))((map, element) {
+    int index = ((__x49) => DEVC$RT.cast(__x49, dynamic, int, "DynamicCast", """line 1865, column 19 of dart:core/uri.dart: """, __x49 is int, true))(element.indexOf("="));
      if (index == -1) {
       if (element != "") {
         map[decodeQueryComponent(DEVC$RT.cast(element, dynamic, String, "DynamicCast", """line 1868, column 36 of dart:core/uri.dart: """, element is String, true), encoding: encoding)] = "";
         }
       }
      else if (index != 0) {
       var key = element.substring(0, index);
        var value = element.substring(index + 1);
        map[Uri.decodeQueryComponent(DEVC$RT.cast(key, dynamic, String, "DynamicCast", """line 1873, column 38 of dart:core/uri.dart: """, key is String, true), encoding: encoding)] = decodeQueryComponent(DEVC$RT.cast(value, dynamic, String, "DynamicCast", """line 1874, column 34 of dart:core/uri.dart: """, value is String, true), encoding: encoding);
       }
      return map;
     }
   )));
   }
  static List<int> parseIPv4Address(String host) {
   void error(String msg) {
     throw new FormatException('Illegal IPv4 address, $msg');
     }
    var bytes = host.split('.');
    if (bytes.length != 4) {
     error('IPv4 address should contain exactly 4 parts');
     }
-   return ((__x53) => DEVC$RT.cast(__x53, DEVC$RT.type((List<dynamic> _) {
+   return ((__x50) => DEVC$RT.cast(__x50, DEVC$RT.type((List<dynamic> _) {
     }
   ), DEVC$RT.type((List<int> _) {
     }
-  ), "CompositeCast", """line 1896, column 12 of dart:core/uri.dart: """, __x53 is List<int>, false))(bytes.map(((__x55) => DEVC$RT.wrap((dynamic f(dynamic __u54)) {
+  ), "CompositeCast", """line 1896, column 12 of dart:core/uri.dart: """, __x50 is List<int>, false))(bytes.map(((__x52) => DEVC$RT.wrap((dynamic f(dynamic __u51)) {
     dynamic c(dynamic x0) => f(x0);
      return f == null ? null : c;
     }
-  , __x55, __t16, __t25, "WrapLiteral", """line 1897, column 14 of dart:core/uri.dart: """, __x55 is __t25))((byteString) {
+  , __x52, __t16, __t23, "WrapLiteral", """line 1897, column 14 of dart:core/uri.dart: """, __x52 is __t23))((byteString) {
     int byte = int.parse(DEVC$RT.cast(byteString, dynamic, String, "DynamicCast", """line 1898, column 32 of dart:core/uri.dart: """, byteString is String, true));
      if (byte < 0 || byte > 255) {
       error('each part must be in the range of `0..255`');
       }
      return byte;
     }
   )).toList());
   }
  static List<int> parseIPv6Address(String host, [int start = 0, int end]) {
   if (end == null) end = host.length;
    void error(String msg, [position]) {
     throw new FormatException('Illegal IPv6 address, $msg', host, DEVC$RT.cast(position, dynamic, int, "DynamicCast", """line 1933, column 69 of dart:core/uri.dart: """, position is int, true));
     }
    int parseHex(int start, int end) {
     if (end - start > 4) {
       error('an IPv6 part can only contain a maximum of 4 hex digits', start);
       }
      int value = int.parse(host.substring(start, end), radix: 16);
      if (value < 0 || value > (1 << 16) - 1) {
       error('each part must be in the range of `0x0..0xFFFF`', start);
       }
      return value;
     }
    if (host.length < 2) error('address is too short');
-   List<int> parts = ((__x56) => DEVC$RT.cast(__x56, DEVC$RT.type((List<dynamic> _) {
-    }
-  ), DEVC$RT.type((List<int> _) {
-    }
-  ), "InferableLiteral", """line 1946, column 23 of dart:core/uri.dart: """, __x56 is List<int>, false))([]);
+   List<int> parts = <int> [];
    bool wildcardSeen = false;
    int partStart = start;
    for (int i = start; i < end; i++) {
     if (host.codeUnitAt(i) == _COLON) {
       if (i == start) {
         i++;
          if (host.codeUnitAt(i) != _COLON) {
           error('invalid start colon.', i);
           }
          partStart = i;
@@ skipping 86 matching lines @@
  static const int _RIGHT_BRACKET = 0x5D;
  static const int _LOWER_CASE_A = 0x61;
  static const int _LOWER_CASE_F = 0x66;
  static const int _LOWER_CASE_Z = 0x7A;
  static const int _BAR = 0x7C;
  static String _uriEncode(List<int> canonicalTable, String text, {
   Encoding encoding : UTF8, bool spaceToPlus : false}
 ) {
   byteToHex(byte, buffer) {
     const String hex = '0123456789ABCDEF';
-     buffer.writeCharCode(hex.codeUnitAt(((__x57) => DEVC$RT.cast(__x57, dynamic, int, "DynamicCast", """line 2059, column 43 of dart:core/uri.dart: """, __x57 is int, true))(byte >> 4)));
-     buffer.writeCharCode(hex.codeUnitAt(((__x58) => DEVC$RT.cast(__x58, dynamic, int, "DynamicCast", """line 2060, column 43 of dart:core/uri.dart: """, __x58 is int, true))(byte & 0x0f)));
+     buffer.writeCharCode(hex.codeUnitAt(((__x53) => DEVC$RT.cast(__x53, dynamic, int, "DynamicCast", """line 2059, column 43 of dart:core/uri.dart: """, __x53 is int, true))(byte >> 4)));
+     buffer.writeCharCode(hex.codeUnitAt(((__x54) => DEVC$RT.cast(__x54, dynamic, int, "DynamicCast", """line 2060, column 43 of dart:core/uri.dart: """, __x54 is int, true))(byte & 0x0f)));
     }
    StringBuffer result = new StringBuffer();
    var bytes = encoding.encode(text);
    for (int i = 0; i < bytes.length; i++) {
     int byte = bytes[i];
      if (byte < 128 && ((canonicalTable[byte >> 4] & (1 << (byte & 0x0f))) != 0)) {
       result.writeCharCode(byte);
       }
      else if (spaceToPlus && byte == _SPACE) {
       result.writeCharCode(_PLUS);
@@ skipping 35 matching lines @@
    List<int> bytes;
    if (simple) {
     if (encoding == UTF8 || encoding == LATIN1) {
       return text;
       }
      else {
       bytes = text.codeUnits;
       }
     }
    else {
-    bytes = ((__x59) => DEVC$RT.cast(__x59, DEVC$RT.type((List<dynamic> _) {
-      }
-    ), DEVC$RT.type((List<int> _) {
-      }
-    ), "InferableAllocation", """line 2134, column 15 of dart:core/uri.dart: """, __x59 is List<int>, false))(new List());
+    bytes = new List<int>();
      for (int i = 0; i < text.length; i++) {
       var codeUnit = text.codeUnitAt(i);
        if (codeUnit > 127) {
         throw new ArgumentError("Illegal percent encoding in URI");
         }
        if (codeUnit == _PERCENT) {
         if (i + 3 > text.length) {
           throw new ArgumentError('Truncated URI');
           }
          bytes.add(_hexCharPairToByte(text, i + 1));
@@ skipping 18 matching lines @@
  static const _subDelimitersTable = const [0x0000, 0x0000, 0x7fd2, 0x2bff, 0xfffe, 0x87ff, 0xfffe, 0x47ff];
  static const _genDelimitersTable = const [0x0000, 0x0000, 0x8008, 0x8400, 0x0001, 0x2800, 0x0000, 0x0000];
  static const _userinfoTable = const [0x0000, 0x0000, 0x7fd2, 0x2fff, 0xfffe, 0x87ff, 0xfffe, 0x47ff];
  static const _regNameTable = const [0x0000, 0x0000, 0x7ff2, 0x2bff, 0xfffe, 0x87ff, 0xfffe, 0x47ff];
  static const _pathCharTable = const [0x0000, 0x0000, 0x7fd2, 0x2fff, 0xffff, 0x87ff, 0xfffe, 0x47ff];
  static const _pathCharOrSlashTable = const [0x0000, 0x0000, 0xffd2, 0x2fff, 0xffff, 0x87ff, 0xfffe, 0x47ff];
  static const _queryCharTable = const [0x0000, 0x0000, 0xffd2, 0xafff, 0xffff, 0x87ff, 0xfffe, 0x47ff];
 }
  typedef void __t14(String __u15);
  typedef dynamic __t16(dynamic __u17);
- typedef dynamic __t25(String __u26);
- typedef String __t27(dynamic __u28);
- typedef void __t32(String __u33, String __u34);
- typedef dynamic __t35(dynamic __u36, dynamic __u37);
- typedef dynamic __t48(dynamic __u49, String __u50);
+ typedef dynamic __t23(String __u24);
+ typedef String __t25(dynamic __u26);
+ typedef void __t30(String __u31, String __u32);
+ typedef dynamic __t33(dynamic __u34, dynamic __u35);
+ typedef dynamic __t45(dynamic __u46, String __u47);