7 files changed, 2192 insertions, 2192 deletions

diff --git a/crates/ra_hir_ty/src/tests/coercion.rs b/crates/ra_hir_ty/src/tests/coercion.rs
index b2c971f02..e6fb3e123 100644
--- a/crates/ra_hir_ty/src/tests/coercion.rs
+++ b/crates/ra_hir_ty/src/tests/coercion.rs
@@ -29,10 +29,10 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 41) '{     ...4 }; }': ()
-    [21; 22) 'a': i32
-    [30; 38) '{ 1i64 }': i64
-    [32; 36) '1i64': i64
+    11..41 '{     ...4 }; }': ()
+    21..22 'a': i32
+    30..38 '{ 1i64 }': i64
+    32..36 '1i64': i64
     "###);
 }
 
@@ -63,50 +63,50 @@ fn test2() {
 }
 "#),
         @r###"
-    [31; 32) '_': &[T]
-    [45; 56) '{ loop {} }': T
-    [47; 54) 'loop {}': !
-    [52; 54) '{}': ()
-    [65; 66) '_': S<&[T]>
-    [82; 93) '{ loop {} }': T
-    [84; 91) 'loop {}': !
-    [89; 91) '{}': ()
-    [122; 133) '{ loop {} }': *mut [T; _]
-    [124; 131) 'loop {}': !
-    [129; 131) '{}': ()
-    [160; 173) '{     gen() }': *mut [U]
-    [166; 169) 'gen': fn gen<U>() -> *mut [U; _]
-    [166; 171) 'gen()': *mut [U; _]
-    [186; 420) '{     ...rr); }': ()
-    [196; 199) 'arr': &[u8; _]
-    [212; 216) '&[1]': &[u8; _]
-    [213; 216) '[1]': [u8; _]
-    [214; 215) '1': u8
-    [227; 228) 'a': &[u8]
-    [237; 240) 'arr': &[u8; _]
-    [250; 251) 'b': u8
-    [254; 255) 'f': fn f<u8>(&[u8]) -> u8
-    [254; 260) 'f(arr)': u8
-    [256; 259) 'arr': &[u8; _]
-    [270; 271) 'c': &[u8]
-    [280; 287) '{ arr }': &[u8]
-    [282; 285) 'arr': &[u8; _]
-    [297; 298) 'd': u8
-    [301; 302) 'g': fn g<u8>(S<&[u8]>) -> u8
-    [301; 316) 'g(S { a: arr })': u8
-    [303; 315) 'S { a: arr }': S<&[u8]>
-    [310; 313) 'arr': &[u8; _]
-    [326; 327) 'e': [&[u8]; _]
-    [341; 346) '[arr]': [&[u8]; _]
-    [342; 345) 'arr': &[u8; _]
-    [356; 357) 'f': [&[u8]; _]
-    [371; 379) '[arr; 2]': [&[u8]; _]
-    [372; 375) 'arr': &[u8; _]
-    [377; 378) '2': usize
-    [389; 390) 'g': (&[u8], &[u8])
-    [407; 417) '(arr, arr)': (&[u8], &[u8])
-    [408; 411) 'arr': &[u8; _]
-    [413; 416) 'arr': &[u8; _]
+    31..32 '_': &[T]
+    45..56 '{ loop {} }': T
+    47..54 'loop {}': !
+    52..54 '{}': ()
+    65..66 '_': S<&[T]>
+    82..93 '{ loop {} }': T
+    84..91 'loop {}': !
+    89..91 '{}': ()
+    122..133 '{ loop {} }': *mut [T; _]
+    124..131 'loop {}': !
+    129..131 '{}': ()
+    160..173 '{     gen() }': *mut [U]
+    166..169 'gen': fn gen<U>() -> *mut [U; _]
+    166..171 'gen()': *mut [U; _]
+    186..420 '{     ...rr); }': ()
+    196..199 'arr': &[u8; _]
+    212..216 '&[1]': &[u8; _]
+    213..216 '[1]': [u8; _]
+    214..215 '1': u8
+    227..228 'a': &[u8]
+    237..240 'arr': &[u8; _]
+    250..251 'b': u8
+    254..255 'f': fn f<u8>(&[u8]) -> u8
+    254..260 'f(arr)': u8
+    256..259 'arr': &[u8; _]
+    270..271 'c': &[u8]
+    280..287 '{ arr }': &[u8]
+    282..285 'arr': &[u8; _]
+    297..298 'd': u8
+    301..302 'g': fn g<u8>(S<&[u8]>) -> u8
+    301..316 'g(S { a: arr })': u8
+    303..315 'S { a: arr }': S<&[u8]>
+    310..313 'arr': &[u8; _]
+    326..327 'e': [&[u8]; _]
+    341..346 '[arr]': [&[u8]; _]
+    342..345 'arr': &[u8; _]
+    356..357 'f': [&[u8]; _]
+    371..379 '[arr; 2]': [&[u8]; _]
+    372..375 'arr': &[u8; _]
+    377..378 '2': usize
+    389..390 'g': (&[u8], &[u8])
+    407..417 '(arr, arr)': (&[u8], &[u8])
+    408..411 'arr': &[u8; _]
+    413..416 'arr': &[u8; _]
     "###
     );
 }
@@ -120,11 +120,11 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 40) '{     ...[1]; }': ()
-    [21; 22) 'x': &[i32]
-    [33; 37) '&[1]': &[i32; _]
-    [34; 37) '[1]': [i32; _]
-    [35; 36) '1': i32
+    11..40 '{     ...[1]; }': ()
+    21..22 'x': &[i32]
+    33..37 '&[1]': &[i32; _]
+    34..37 '[1]': [i32; _]
+    35..36 '1': i32
     "###);
 }
 
@@ -150,31 +150,31 @@ fn test(a: A<[u8; 2]>, b: B<[u8; 2]>, c: C<[u8; 2]>) {
 }
 "#),
         @r###"
-    [258; 259) 'x': A<[T]>
-    [279; 284) '{ x }': A<[T]>
-    [281; 282) 'x': A<[T]>
-    [296; 297) 'x': B<[T]>
-    [317; 322) '{ x }': B<[T]>
-    [319; 320) 'x': B<[T]>
-    [334; 335) 'x': C<[T]>
-    [355; 360) '{ x }': C<[T]>
-    [357; 358) 'x': C<[T]>
-    [370; 371) 'a': A<[u8; _]>
-    [385; 386) 'b': B<[u8; _]>
-    [400; 401) 'c': C<[u8; _]>
-    [415; 481) '{     ...(c); }': ()
-    [425; 426) 'd': A<[{unknown}]>
-    [429; 433) 'foo1': fn foo1<{unknown}>(A<[{unknown}]>) -> A<[{unknown}]>
-    [429; 436) 'foo1(a)': A<[{unknown}]>
-    [434; 435) 'a': A<[u8; _]>
-    [446; 447) 'e': B<[u8]>
-    [450; 454) 'foo2': fn foo2<u8>(B<[u8]>) -> B<[u8]>
-    [450; 457) 'foo2(b)': B<[u8]>
-    [455; 456) 'b': B<[u8; _]>
-    [467; 468) 'f': C<[u8]>
-    [471; 475) 'foo3': fn foo3<u8>(C<[u8]>) -> C<[u8]>
-    [471; 478) 'foo3(c)': C<[u8]>
-    [476; 477) 'c': C<[u8; _]>
+    258..259 'x': A<[T]>
+    279..284 '{ x }': A<[T]>
+    281..282 'x': A<[T]>
+    296..297 'x': B<[T]>
+    317..322 '{ x }': B<[T]>
+    319..320 'x': B<[T]>
+    334..335 'x': C<[T]>
+    355..360 '{ x }': C<[T]>
+    357..358 'x': C<[T]>
+    370..371 'a': A<[u8; _]>
+    385..386 'b': B<[u8; _]>
+    400..401 'c': C<[u8; _]>
+    415..481 '{     ...(c); }': ()
+    425..426 'd': A<[{unknown}]>
+    429..433 'foo1': fn foo1<{unknown}>(A<[{unknown}]>) -> A<[{unknown}]>
+    429..436 'foo1(a)': A<[{unknown}]>
+    434..435 'a': A<[u8; _]>
+    446..447 'e': B<[u8]>
+    450..454 'foo2': fn foo2<u8>(B<[u8]>) -> B<[u8]>
+    450..457 'foo2(b)': B<[u8]>
+    455..456 'b': B<[u8; _]>
+    467..468 'f': C<[u8]>
+    471..475 'foo3': fn foo3<u8>(C<[u8]>) -> C<[u8]>
+    471..478 'foo3(c)': C<[u8]>
+    476..477 'c': C<[u8; _]>
     "###
     );
 }
@@ -193,24 +193,24 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': &[T]
-    [30; 37) 'loop {}': !
-    [35; 37) '{}': ()
-    [50; 126) '{     ...  }; }': ()
-    [60; 61) 'x': &[i32]
-    [64; 123) 'if tru...     }': &[i32]
-    [67; 71) 'true': bool
-    [72; 97) '{     ...     }': &[i32]
-    [82; 85) 'foo': fn foo<i32>(&[i32]) -> &[i32]
-    [82; 91) 'foo(&[1])': &[i32]
-    [86; 90) '&[1]': &[i32; _]
-    [87; 90) '[1]': [i32; _]
-    [88; 89) '1': i32
-    [103; 123) '{     ...     }': &[i32; _]
-    [113; 117) '&[1]': &[i32; _]
-    [114; 117) '[1]': [i32; _]
-    [115; 116) '1': i32
+    11..12 'x': &[T]
+    28..39 '{ loop {} }': &[T]
+    30..37 'loop {}': !
+    35..37 '{}': ()
+    50..126 '{     ...  }; }': ()
+    60..61 'x': &[i32]
+    64..123 'if tru...     }': &[i32]
+    67..71 'true': bool
+    72..97 '{     ...     }': &[i32]
+    82..85 'foo': fn foo<i32>(&[i32]) -> &[i32]
+    82..91 'foo(&[1])': &[i32]
+    86..90 '&[1]': &[i32; _]
+    87..90 '[1]': [i32; _]
+    88..89 '1': i32
+    103..123 '{     ...     }': &[i32; _]
+    113..117 '&[1]': &[i32; _]
+    114..117 '[1]': [i32; _]
+    115..116 '1': i32
     "###
     );
 }
@@ -229,24 +229,24 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': &[T]
-    [30; 37) 'loop {}': !
-    [35; 37) '{}': ()
-    [50; 126) '{     ...  }; }': ()
-    [60; 61) 'x': &[i32]
-    [64; 123) 'if tru...     }': &[i32]
-    [67; 71) 'true': bool
-    [72; 92) '{     ...     }': &[i32; _]
-    [82; 86) '&[1]': &[i32; _]
-    [83; 86) '[1]': [i32; _]
-    [84; 85) '1': i32
-    [98; 123) '{     ...     }': &[i32]
-    [108; 111) 'foo': fn foo<i32>(&[i32]) -> &[i32]
-    [108; 117) 'foo(&[1])': &[i32]
-    [112; 116) '&[1]': &[i32; _]
-    [113; 116) '[1]': [i32; _]
-    [114; 115) '1': i32
+    11..12 'x': &[T]
+    28..39 '{ loop {} }': &[T]
+    30..37 'loop {}': !
+    35..37 '{}': ()
+    50..126 '{     ...  }; }': ()
+    60..61 'x': &[i32]
+    64..123 'if tru...     }': &[i32]
+    67..71 'true': bool
+    72..92 '{     ...     }': &[i32; _]
+    82..86 '&[1]': &[i32; _]
+    83..86 '[1]': [i32; _]
+    84..85 '1': i32
+    98..123 '{     ...     }': &[i32]
+    108..111 'foo': fn foo<i32>(&[i32]) -> &[i32]
+    108..117 'foo(&[1])': &[i32]
+    112..116 '&[1]': &[i32; _]
+    113..116 '[1]': [i32; _]
+    114..115 '1': i32
     "###
     );
 }
@@ -265,31 +265,31 @@ fn test(i: i32) {
 }
 "#),
         @r###"
-    [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': &[T]
-    [30; 37) 'loop {}': !
-    [35; 37) '{}': ()
-    [48; 49) 'i': i32
-    [56; 150) '{     ...  }; }': ()
-    [66; 67) 'x': &[i32]
-    [70; 147) 'match ...     }': &[i32]
-    [76; 77) 'i': i32
-    [88; 89) '2': i32
-    [88; 89) '2': i32
-    [93; 96) 'foo': fn foo<i32>(&[i32]) -> &[i32]
-    [93; 102) 'foo(&[2])': &[i32]
-    [97; 101) '&[2]': &[i32; _]
-    [98; 101) '[2]': [i32; _]
-    [99; 100) '2': i32
-    [112; 113) '1': i32
-    [112; 113) '1': i32
-    [117; 121) '&[1]': &[i32; _]
-    [118; 121) '[1]': [i32; _]
-    [119; 120) '1': i32
-    [131; 132) '_': i32
-    [136; 140) '&[3]': &[i32; _]
-    [137; 140) '[3]': [i32; _]
-    [138; 139) '3': i32
+    11..12 'x': &[T]
+    28..39 '{ loop {} }': &[T]
+    30..37 'loop {}': !
+    35..37 '{}': ()
+    48..49 'i': i32
+    56..150 '{     ...  }; }': ()
+    66..67 'x': &[i32]
+    70..147 'match ...     }': &[i32]
+    76..77 'i': i32
+    88..89 '2': i32
+    88..89 '2': i32
+    93..96 'foo': fn foo<i32>(&[i32]) -> &[i32]
+    93..102 'foo(&[2])': &[i32]
+    97..101 '&[2]': &[i32; _]
+    98..101 '[2]': [i32; _]
+    99..100 '2': i32
+    112..113 '1': i32
+    112..113 '1': i32
+    117..121 '&[1]': &[i32; _]
+    118..121 '[1]': [i32; _]
+    119..120 '1': i32
+    131..132 '_': i32
+    136..140 '&[3]': &[i32; _]
+    137..140 '[3]': [i32; _]
+    138..139 '3': i32
     "###
     );
 }
@@ -308,31 +308,31 @@ fn test(i: i32) {
 }
 "#),
         @r###"
-    [11; 12) 'x': &[T]
-    [28; 39) '{ loop {} }': &[T]
-    [30; 37) 'loop {}': !
-    [35; 37) '{}': ()
-    [48; 49) 'i': i32
-    [56; 150) '{     ...  }; }': ()
-    [66; 67) 'x': &[i32]
-    [70; 147) 'match ...     }': &[i32]
-    [76; 77) 'i': i32
-    [88; 89) '1': i32
-    [88; 89) '1': i32
-    [93; 97) '&[1]': &[i32; _]
-    [94; 97) '[1]': [i32; _]
-    [95; 96) '1': i32
-    [107; 108) '2': i32
-    [107; 108) '2': i32
-    [112; 115) 'foo': fn foo<i32>(&[i32]) -> &[i32]
-    [112; 121) 'foo(&[2])': &[i32]
-    [116; 120) '&[2]': &[i32; _]
-    [117; 120) '[2]': [i32; _]
-    [118; 119) '2': i32
-    [131; 132) '_': i32
-    [136; 140) '&[3]': &[i32; _]
-    [137; 140) '[3]': [i32; _]
-    [138; 139) '3': i32
+    11..12 'x': &[T]
+    28..39 '{ loop {} }': &[T]
+    30..37 'loop {}': !
+    35..37 '{}': ()
+    48..49 'i': i32
+    56..150 '{     ...  }; }': ()
+    66..67 'x': &[i32]
+    70..147 'match ...     }': &[i32]
+    76..77 'i': i32
+    88..89 '1': i32
+    88..89 '1': i32
+    93..97 '&[1]': &[i32; _]
+    94..97 '[1]': [i32; _]
+    95..96 '1': i32
+    107..108 '2': i32
+    107..108 '2': i32
+    112..115 'foo': fn foo<i32>(&[i32]) -> &[i32]
+    112..121 'foo(&[2])': &[i32]
+    116..120 '&[2]': &[i32; _]
+    117..120 '[2]': [i32; _]
+    118..119 '2': i32
+    131..132 '_': i32
+    136..140 '&[3]': &[i32; _]
+    137..140 '[3]': [i32; _]
+    138..139 '3': i32
     "###
     );
 }
@@ -353,24 +353,24 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 145) '{     ...  }; }': ()
-    [21; 22) 't': &mut i32
-    [25; 31) '&mut 1': &mut i32
-    [30; 31) '1': i32
-    [41; 42) 'x': *const i32
-    [45; 142) 'match ...     }': *const i32
-    [51; 52) '1': i32
-    [63; 64) '1': i32
-    [63; 64) '1': i32
-    [68; 69) 't': &mut i32
-    [68; 81) 't as *mut i32': *mut i32
-    [91; 92) '2': i32
-    [91; 92) '2': i32
-    [96; 97) 't': &mut i32
-    [96; 105) 't as &i32': &i32
-    [115; 116) '_': i32
-    [120; 121) 't': &mut i32
-    [120; 135) 't as *const i32': *const i32
+    11..145 '{     ...  }; }': ()
+    21..22 't': &mut i32
+    25..31 '&mut 1': &mut i32
+    30..31 '1': i32
+    41..42 'x': *const i32
+    45..142 'match ...     }': *const i32
+    51..52 '1': i32
+    63..64 '1': i32
+    63..64 '1': i32
+    68..69 't': &mut i32
+    68..81 't as *mut i32': *mut i32
+    91..92 '2': i32
+    91..92 '2': i32
+    96..97 't': &mut i32
+    96..105 't as &i32': &i32
+    115..116 '_': i32
+    120..121 't': &mut i32
+    120..135 't as *const i32': *const i32
     "###
     );
 }
@@ -384,9 +384,9 @@ fn foo() -> u32 {
 }
 "#, true),
         @r###"
-    [17; 40) '{     ...own; }': !
-    [23; 37) 'return unknown': !
-    [30; 37) 'unknown': u32
+    17..40 '{     ...own; }': !
+    23..37 'return unknown': !
+    30..37 'unknown': u32
     "###
     );
 }
@@ -404,24 +404,24 @@ fn test() {
 }
 "#, true),
         @r###"
-    [30; 31) 'x': &Foo
-    [39; 41) '{}': ()
-    [52; 133) '{     ...oo); }': ()
-    [58; 71) 'takes_ref_foo': fn takes_ref_foo(&Foo)
-    [58; 77) 'takes_...(&Foo)': ()
-    [72; 76) '&Foo': &Foo
-    [73; 76) 'Foo': Foo
-    [83; 96) 'takes_ref_foo': fn takes_ref_foo(&Foo)
-    [83; 103) 'takes_...&&Foo)': ()
-    [97; 102) '&&Foo': &&Foo
-    [98; 102) '&Foo': &Foo
-    [99; 102) 'Foo': Foo
-    [109; 122) 'takes_ref_foo': fn takes_ref_foo(&Foo)
-    [109; 130) 'takes_...&&Foo)': ()
-    [123; 129) '&&&Foo': &&&Foo
-    [124; 129) '&&Foo': &&Foo
-    [125; 129) '&Foo': &Foo
-    [126; 129) 'Foo': Foo
+    30..31 'x': &Foo
+    39..41 '{}': ()
+    52..133 '{     ...oo); }': ()
+    58..71 'takes_ref_foo': fn takes_ref_foo(&Foo)
+    58..77 'takes_...(&Foo)': ()
+    72..76 '&Foo': &Foo
+    73..76 'Foo': Foo
+    83..96 'takes_ref_foo': fn takes_ref_foo(&Foo)
+    83..103 'takes_...&&Foo)': ()
+    97..102 '&&Foo': &&Foo
+    98..102 '&Foo': &Foo
+    99..102 'Foo': Foo
+    109..122 'takes_ref_foo': fn takes_ref_foo(&Foo)
+    109..130 'takes_...&&Foo)': ()
+    123..129 '&&&Foo': &&&Foo
+    124..129 '&&Foo': &&Foo
+    125..129 '&Foo': &Foo
+    126..129 'Foo': Foo
     "###
     );
 }
@@ -439,26 +439,26 @@ fn test() {
 }
 "#, true),
         @r###"
-    [29; 30) 'x': &T
-    [41; 47) '{ *x }': T
-    [43; 45) '*x': T
-    [44; 45) 'x': &T
-    [58; 127) '{     ...oo); }': ()
-    [64; 73) 'takes_ref': fn takes_ref<Foo>(&Foo) -> Foo
-    [64; 79) 'takes_ref(&Foo)': Foo
-    [74; 78) '&Foo': &Foo
-    [75; 78) 'Foo': Foo
-    [85; 94) 'takes_ref': fn takes_ref<&Foo>(&&Foo) -> &Foo
-    [85; 101) 'takes_...&&Foo)': &Foo
-    [95; 100) '&&Foo': &&Foo
-    [96; 100) '&Foo': &Foo
-    [97; 100) 'Foo': Foo
-    [107; 116) 'takes_ref': fn takes_ref<&&Foo>(&&&Foo) -> &&Foo
-    [107; 124) 'takes_...&&Foo)': &&Foo
-    [117; 123) '&&&Foo': &&&Foo
-    [118; 123) '&&Foo': &&Foo
-    [119; 123) '&Foo': &Foo
-    [120; 123) 'Foo': Foo
+    29..30 'x': &T
+    41..47 '{ *x }': T
+    43..45 '*x': T
+    44..45 'x': &T
+    58..127 '{     ...oo); }': ()
+    64..73 'takes_ref': fn takes_ref<Foo>(&Foo) -> Foo
+    64..79 'takes_ref(&Foo)': Foo
+    74..78 '&Foo': &Foo
+    75..78 'Foo': Foo
+    85..94 'takes_ref': fn takes_ref<&Foo>(&&Foo) -> &Foo
+    85..101 'takes_...&&Foo)': &Foo
+    95..100 '&&Foo': &&Foo
+    96..100 '&Foo': &Foo
+    97..100 'Foo': Foo
+    107..116 'takes_ref': fn takes_ref<&&Foo>(&&&Foo) -> &&Foo
+    107..124 'takes_...&&Foo)': &&Foo
+    117..123 '&&&Foo': &&&Foo
+    118..123 '&&Foo': &&Foo
+    119..123 '&Foo': &Foo
+    120..123 'Foo': Foo
     "###
     );
 }
@@ -478,18 +478,18 @@ fn test() {
 }
 "#, true),
         @r###"
-    [127; 128) 'x': &str
-    [136; 138) '{}': ()
-    [169; 180) '{ loop {} }': String
-    [171; 178) 'loop {}': !
-    [176; 178) '{}': ()
-    [191; 236) '{     ... }); }': ()
-    [197; 210) 'takes_ref_str': fn takes_ref_str(&str)
-    [197; 233) 'takes_...g() })': ()
-    [211; 232) '&{ ret...ng() }': &String
-    [212; 232) '{ retu...ng() }': String
-    [214; 228) 'returns_string': fn returns_string() -> String
-    [214; 230) 'return...ring()': String
+    127..128 'x': &str
+    136..138 '{}': ()
+    169..180 '{ loop {} }': String
+    171..178 'loop {}': !
+    176..178 '{}': ()
+    191..236 '{     ... }); }': ()
+    197..210 'takes_ref_str': fn takes_ref_str(&str)
+    197..233 'takes_...g() })': ()
+    211..232 '&{ ret...ng() }': &String
+    212..232 '{ retu...ng() }': String
+    214..228 'returns_string': fn returns_string() -> String
+    214..230 'return...ring()': String
     "###
     );
 }
@@ -508,19 +508,19 @@ fn foo() {
 }
 "#, true),
         @r###"
-    [10; 106) '{     ...  }; }': ()
-    [20; 21) 'x': || -> &u32
-    [24; 103) '|| {  ...     }': || -> &u32
-    [27; 103) '{     ...     }': &u32
-    [37; 82) 'if tru...     }': ()
-    [40; 44) 'true': bool
-    [45; 82) '{     ...     }': !
-    [59; 71) 'return &1u32': !
-    [66; 71) '&1u32': &u32
-    [67; 71) '1u32': u32
-    [91; 97) '&&1u32': &&u32
-    [92; 97) '&1u32': &u32
-    [93; 97) '1u32': u32
+    10..106 '{     ...  }; }': ()
+    20..21 'x': || -> &u32
+    24..103 '|| {  ...     }': || -> &u32
+    27..103 '{     ...     }': &u32
+    37..82 'if tru...     }': ()
+    40..44 'true': bool
+    45..82 '{     ...     }': !
+    59..71 'return &1u32': !
+    66..71 '&1u32': &u32
+    67..71 '1u32': u32
+    91..97 '&&1u32': &&u32
+    92..97 '&1u32': &u32
+    93..97 '1u32': u32
     "###
     );
 }
@@ -535,12 +535,12 @@ fn test() {
 }
 "#, true),
         @r###"
-    [8; 9) 'x': u32
-    [25; 30) '{ 1 }': isize
-    [27; 28) '1': isize
-    [41; 79) '{     ...foo; }': ()
-    [51; 52) 'f': fn(u32) -> isize
-    [73; 76) 'foo': fn foo(u32) -> isize
+    8..9 'x': u32
+    25..30 '{ 1 }': isize
+    27..28 '1': isize
+    41..79 '{     ...foo; }': ()
+    51..52 'f': fn(u32) -> isize
+    73..76 'foo': fn foo(u32) -> isize
     "###
     );
 }
@@ -554,12 +554,12 @@ fn test() {
 }
 "#, true),
         @r###"
-    [11; 55) '{     ...1 }; }': ()
-    [21; 22) 'f': fn(u32) -> isize
-    [43; 52) '|x| { 1 }': |u32| -> isize
-    [44; 45) 'x': u32
-    [47; 52) '{ 1 }': isize
-    [49; 50) '1': isize
+    11..55 '{     ...1 }; }': ()
+    21..22 'f': fn(u32) -> isize
+    43..52 '|x| { 1 }': |u32| -> isize
+    44..45 'x': u32
+    47..52 '{ 1 }': isize
+    49..50 '1': isize
     "###
     );
 }
@@ -577,11 +577,11 @@ impl<TT> S<TT> {
 }
 "#, true),
         @r###"
-    [51; 55) 'self': &S<TT>
-    [64; 87) '{     ...     }': &TT
-    [74; 81) '&self.t': &TT
-    [75; 79) 'self': &S<TT>
-    [75; 81) 'self.t': TT
+    51..55 'self': &S<TT>
+    64..87 '{     ...     }': &TT
+    74..81 '&self.t': &TT
+    75..79 'self': &S<TT>
+    75..81 'self.t': TT
     "###
     );
 }
@@ -602,13 +602,13 @@ fn test() {
 }
 "#, true),
         @r###"
-    [162; 199) '{     ... 3]; }': ()
-    [172; 173) 'f': &[usize]
-    [186; 196) '&[1, 2, 3]': &[usize; _]
-    [187; 196) '[1, 2, 3]': [usize; _]
-    [188; 189) '1': usize
-    [191; 192) '2': usize
-    [194; 195) '3': usize
+    162..199 '{     ... 3]; }': ()
+    172..173 'f': &[usize]
+    186..196 '&[1, 2, 3]': &[usize; _]
+    187..196 '[1, 2, 3]': [usize; _]
+    188..189 '1': usize
+    191..192 '2': usize
+    194..195 '3': usize
     "###
     );
 }
@@ -642,19 +642,19 @@ fn test() {
 }
 "#, true),
         @r###"
-    [388; 573) '{     ...bj2; }': ()
-    [398; 401) 'obj': &dyn Baz<i8, i16>
-    [423; 425) '&S': &S<i8, i16>
-    [424; 425) 'S': S<i8, i16>
-    [435; 438) 'obj': &dyn Bar<usize, i8, i16>
-    [460; 463) 'obj': &dyn Baz<i8, i16>
-    [473; 476) 'obj': &dyn Foo<i8, usize>
-    [495; 498) 'obj': &dyn Bar<usize, i8, i16>
-    [508; 512) 'obj2': &dyn Baz<i8, i16>
-    [534; 536) '&S': &S<i8, i16>
-    [535; 536) 'S': S<i8, i16>
-    [546; 547) '_': &dyn Foo<i8, usize>
-    [566; 570) 'obj2': &dyn Baz<i8, i16>
+    388..573 '{     ...bj2; }': ()
+    398..401 'obj': &dyn Baz<i8, i16>
+    423..425 '&S': &S<i8, i16>
+    424..425 'S': S<i8, i16>
+    435..438 'obj': &dyn Bar<usize, i8, i16>
+    460..463 'obj': &dyn Baz<i8, i16>
+    473..476 'obj': &dyn Foo<i8, usize>
+    495..498 'obj': &dyn Bar<usize, i8, i16>
+    508..512 'obj2': &dyn Baz<i8, i16>
+    534..536 '&S': &S<i8, i16>
+    535..536 'S': S<i8, i16>
+    546..547 '_': &dyn Foo<i8, usize>
+    566..570 'obj2': &dyn Baz<i8, i16>
     "###
     );
 }
@@ -687,12 +687,12 @@ fn test() {
 }
 "#, true),
         @r###"
-    [292; 348) '{     ...obj; }': ()
-    [302; 305) 'obj': &dyn D
-    [316; 318) '&S': &S
-    [317; 318) 'S': S
-    [328; 331) 'obj': &dyn A
-    [342; 345) 'obj': &dyn D
+    292..348 '{     ...obj; }': ()
+    302..305 'obj': &dyn D
+    316..318 '&S': &S
+    317..318 'S': S
+    328..331 'obj': &dyn A
+    342..345 'obj': &dyn D
     "###
     );
 }
diff --git a/crates/ra_hir_ty/src/tests/macros.rs b/crates/ra_hir_ty/src/tests/macros.rs
index f2a9b1c40..6b5267232 100644
--- a/crates/ra_hir_ty/src/tests/macros.rs
+++ b/crates/ra_hir_ty/src/tests/macros.rs
@@ -67,12 +67,12 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 17) '{Foo(v...,2,])}': Foo
-    ![1; 4) 'Foo': Foo({unknown}) -> Foo
-    ![1; 16) 'Foo(vec![1,2,])': Foo
-    ![5; 15) 'vec![1,2,]': {unknown}
-    [156; 182) '{     ...,2); }': ()
-    [166; 167) 'x': Foo
+    !0..17 '{Foo(v...,2,])}': Foo
+    !1..4 'Foo': Foo({unknown}) -> Foo
+    !1..16 'Foo(vec![1,2,])': Foo
+    !5..15 'vec![1,2,]': {unknown}
+    156..182 '{     ...,2); }': ()
+    166..167 'x': Foo
     "###
     );
 }
@@ -100,14 +100,14 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 17) '{Foo(v...,2,])}': Foo
-    ![1; 4) 'Foo': Foo({unknown}) -> Foo
-    ![1; 16) 'Foo(vec![1,2,])': Foo
-    ![5; 15) 'vec![1,2,]': {unknown}
-    [195; 251) '{     ...,2); }': ()
-    [205; 206) 'x': Foo
-    [228; 229) 'y': {unknown}
-    [232; 248) 'crate:...!(1,2)': {unknown}
+    !0..17 '{Foo(v...,2,])}': Foo
+    !1..4 'Foo': Foo({unknown}) -> Foo
+    !1..16 'Foo(vec![1,2,])': Foo
+    !5..15 'vec![1,2,]': {unknown}
+    195..251 '{     ...,2); }': ()
+    205..206 'x': Foo
+    228..229 'y': {unknown}
+    232..248 'crate:...!(1,2)': {unknown}
     "###
     );
 }
@@ -131,11 +131,11 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 5) '42i32': i32
-    ![0; 5) '42i32': i32
-    [111; 164) '{     ...!(); }': ()
-    [121; 122) 'x': i32
-    [148; 149) 'y': i32
+    !0..5 '42i32': i32
+    !0..5 '42i32': i32
+    111..164 '{     ...!(); }': ()
+    121..122 'x': i32
+    148..149 'y': i32
     "###
     );
 }
@@ -172,51 +172,51 @@ fn spam() {
 }
 "#),
         @r###"
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    ![0; 6) '1isize': isize
-    [54; 457) '{     ...!(); }': !
-    [88; 109) 'spam!(...am!())': {unknown}
-    [115; 134) 'for _ ...!() {}': ()
-    [119; 120) '_': {unknown}
-    [132; 134) '{}': ()
-    [139; 149) '|| spam!()': || -> isize
-    [155; 171) 'while ...!() {}': ()
-    [169; 171) '{}': ()
-    [176; 189) 'break spam!()': !
-    [195; 209) 'return spam!()': !
-    [215; 269) 'match ...     }': isize
-    [239; 240) '_': isize
-    [274; 290) 'spam!(...am!())': {unknown}
-    [296; 318) 'Spam {...m!() }': {unknown}
-    [324; 340) 'spam!(...am!()]': {unknown}
-    [365; 381) 'spam!(... usize': usize
-    [387; 395) '&spam!()': &isize
-    [401; 409) '-spam!()': isize
-    [415; 431) 'spam!(...pam!()': {unknown}
-    [437; 454) 'spam!(...pam!()': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    !0..6 '1isize': isize
+    54..457 '{     ...!(); }': !
+    88..109 'spam!(...am!())': {unknown}
+    115..134 'for _ ...!() {}': ()
+    119..120 '_': {unknown}
+    132..134 '{}': ()
+    139..149 '|| spam!()': || -> isize
+    155..171 'while ...!() {}': ()
+    169..171 '{}': ()
+    176..189 'break spam!()': !
+    195..209 'return spam!()': !
+    215..269 'match ...     }': isize
+    239..240 '_': isize
+    274..290 'spam!(...am!())': {unknown}
+    296..318 'Spam {...m!() }': {unknown}
+    324..340 'spam!(...am!()]': {unknown}
+    365..381 'spam!(... usize': usize
+    387..395 '&spam!()': &isize
+    401..409 '-spam!()': isize
+    415..431 'spam!(...pam!()': {unknown}
+    437..454 'spam!(...pam!()': isize
     "###
     );
 }
@@ -244,9 +244,9 @@ fn foo() {
 }
 "#),
         @r###"
-    ![0; 5) '42i32': i32
-    [171; 206) '{     ...32); }': ()
-    [181; 184) 'foo': i32
+    !0..5 '42i32': i32
+    171..206 '{     ...32); }': ()
+    181..184 'foo': i32
     "###
     );
 }
@@ -357,12 +357,12 @@ fn main() {
 }
 "#),
         @r###"
-        [159; 164) '{ 0 }': u64
-        [161; 162) '0': u64
-        [175; 197) '{     ...f(); }': ()
-        [185; 187) '_a': u64
-        [191; 192) 'f': fn f() -> u64
-        [191; 194) 'f()': u64
+        159..164 '{ 0 }': u64
+        161..162 '0': u64
+        175..197 '{     ...f(); }': ()
+        185..187 '_a': u64
+        191..192 'f': fn f() -> u64
+        191..194 'f()': u64
     "###
     );
 }
@@ -379,10 +379,10 @@ fn main() {
 }
 "#),
         @r###"
-        ![0; 6) '1usize': usize
-        [11; 90) '{     ...!(); }': ()
-        [17; 66) 'macro_...     }': {unknown}
-        [75; 77) '_a': usize
+        !0..6 '1usize': usize
+        11..90 '{     ...!(); }': ()
+        17..66 'macro_...     }': {unknown}
+        75..77 '_a': usize
     "###
     );
 }
@@ -399,9 +399,9 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 1) '0': i32
-    [64; 88) '{     ...!(); }': ()
-    [74; 75) 'x': i32
+    !0..1 '0': i32
+    64..88 '{     ...!(); }': ()
+    74..75 'x': i32
     "###
     );
 }
@@ -418,9 +418,9 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 2) '""': &str
-    [64; 88) '{     ...!(); }': ()
-    [74; 75) 'x': &str
+    !0..2 '""': &str
+    64..88 '{     ...!(); }': ()
+    74..75 'x': &str
     "###
     );
 }
@@ -437,9 +437,9 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 1) '0': i32
-    [66; 92) '{     ...!(); }': ()
-    [76; 77) 'x': i32
+    !0..1 '0': i32
+    66..92 '{     ...!(); }': ()
+    76..77 'x': i32
     "###
     );
 }
@@ -456,9 +456,9 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 13) '"helloworld!"': &str
-    [66; 122) '{     ...")); }': ()
-    [76; 77) 'x': &str
+    !0..13 '"helloworld!"': &str
+    66..122 '{     ...")); }': ()
+    76..77 'x': &str
     "###
     );
 }
@@ -591,9 +591,9 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 13) '"helloworld!"': &str
-    [104; 161) '{     ...")); }': ()
-    [114; 115) 'x': &str
+    !0..13 '"helloworld!"': &str
+    104..161 '{     ...")); }': ()
+    114..115 'x': &str
     "###
     );
 }
@@ -611,9 +611,9 @@ fn main() {
 }
 "#),
         @r###"
-    ![0; 5) '"bar"': &str
-    [88; 116) '{     ...o"); }': ()
-    [98; 99) 'x': &str
+    !0..5 '"bar"': &str
+    88..116 '{     ...o"); }': ()
+    98..99 'x': &str
     "###
     );
 }
@@ -703,12 +703,12 @@ fn main() {
 }
 "#),
         @r###"
-    [52; 111) '{     ...  }; }': ()
-    [62; 63) 'x': u32
-    [66; 108) 'match ...     }': u32
-    [72; 74) '()': ()
-    [85; 92) 'unit!()': ()
-    [96; 101) '92u32': u32
+    52..111 '{     ...  }; }': ()
+    62..63 'x': u32
+    66..108 'match ...     }': u32
+    72..74 '()': ()
+    85..92 'unit!()': ()
+    96..101 '92u32': u32
     "###
     );
 }
diff --git a/crates/ra_hir_ty/src/tests/method_resolution.rs b/crates/ra_hir_ty/src/tests/method_resolution.rs
index af3e5b12c..ab87f598a 100644
--- a/crates/ra_hir_ty/src/tests/method_resolution.rs
+++ b/crates/ra_hir_ty/src/tests/method_resolution.rs
@@ -22,14 +22,14 @@ fn test() {
 }
 "#),
         @r###"
-    [45; 49) 'self': &[T]
-    [56; 79) '{     ...     }': T
-    [66; 73) 'loop {}': !
-    [71; 73) '{}': ()
-    [133; 160) '{     ...o"); }': ()
-    [139; 149) '<[_]>::foo': fn foo<u8>(&[u8]) -> u8
-    [139; 157) '<[_]>:..."foo")': u8
-    [150; 156) 'b"foo"': &[u8]
+    45..49 'self': &[T]
+    56..79 '{     ...     }': T
+    66..73 'loop {}': !
+    71..73 '{}': ()
+    133..160 '{     ...o"); }': ()
+    139..149 '<[_]>::foo': fn foo<u8>(&[u8]) -> u8
+    139..157 '<[_]>:..."foo")': u8
+    150..156 'b"foo"': &[u8]
     "###
     );
 }
@@ -51,15 +51,15 @@ fn test() {
 }
 "#),
         @r###"
-    [49; 75) '{     ...     }': A
-    [59; 69) 'A { x: 0 }': A
-    [66; 67) '0': u32
-    [88; 122) '{     ...a.x; }': ()
-    [98; 99) 'a': A
-    [102; 108) 'A::new': fn new() -> A
-    [102; 110) 'A::new()': A
-    [116; 117) 'a': A
-    [116; 119) 'a.x': u32
+    49..75 '{     ...     }': A
+    59..69 'A { x: 0 }': A
+    66..67 '0': u32
+    88..122 '{     ...a.x; }': ()
+    98..99 'a': A
+    102..108 'A::new': fn new() -> A
+    102..110 'A::new()': A
+    116..117 'a': A
+    116..119 'a.x': u32
     "###
     );
 }
@@ -86,19 +86,19 @@ fn test() {
 }
 "#),
         @r###"
-    [47; 67) '{     ...     }': A
-    [57; 61) 'A::B': A
-    [88; 108) '{     ...     }': A
-    [98; 102) 'A::C': A
-    [121; 178) '{     ...  c; }': ()
-    [131; 132) 'a': A
-    [135; 139) 'A::b': fn b() -> A
-    [135; 141) 'A::b()': A
-    [147; 148) 'a': A
-    [158; 159) 'c': A
-    [162; 166) 'A::c': fn c() -> A
-    [162; 168) 'A::c()': A
-    [174; 175) 'c': A
+    47..67 '{     ...     }': A
+    57..61 'A::B': A
+    88..108 '{     ...     }': A
+    98..102 'A::C': A
+    121..178 '{     ...  c; }': ()
+    131..132 'a': A
+    135..139 'A::b': fn b() -> A
+    135..141 'A::b()': A
+    147..148 'a': A
+    158..159 'c': A
+    162..166 'A::c': fn c() -> A
+    162..168 'A::c()': A
+    174..175 'c': A
     "###
     );
 }
@@ -130,22 +130,22 @@ fn test() {
 }
 "#),
         @r###"
-    [56; 64) '{ A {} }': A
-    [58; 62) 'A {}': A
-    [126; 132) '{ 99 }': u32
-    [128; 130) '99': u32
-    [202; 210) '{ C {} }': C
-    [204; 208) 'C {}': C
-    [241; 325) '{     ...g(); }': ()
-    [251; 252) 'x': A
-    [255; 266) 'a::A::thing': fn thing() -> A
-    [255; 268) 'a::A::thing()': A
-    [278; 279) 'y': u32
-    [282; 293) 'b::B::thing': fn thing() -> u32
-    [282; 295) 'b::B::thing()': u32
-    [305; 306) 'z': C
-    [309; 320) 'c::C::thing': fn thing() -> C
-    [309; 322) 'c::C::thing()': C
+    56..64 '{ A {} }': A
+    58..62 'A {}': A
+    126..132 '{ 99 }': u32
+    128..130 '99': u32
+    202..210 '{ C {} }': C
+    204..208 'C {}': C
+    241..325 '{     ...g(); }': ()
+    251..252 'x': A
+    255..266 'a::A::thing': fn thing() -> A
+    255..268 'a::A::thing()': A
+    278..279 'y': u32
+    282..293 'b::B::thing': fn thing() -> u32
+    282..295 'b::B::thing()': u32
+    305..306 'z': C
+    309..320 'c::C::thing': fn thing() -> C
+    309..322 'c::C::thing()': C
     "###
     );
 }
@@ -169,15 +169,15 @@ fn test() {
 }
 "#),
         @r###"
-    [64; 67) 'val': T
-    [82; 109) '{     ...     }': Gen<T>
-    [92; 103) 'Gen { val }': Gen<T>
-    [98; 101) 'val': T
-    [123; 155) '{     ...32); }': ()
-    [133; 134) 'a': Gen<u32>
-    [137; 146) 'Gen::make': fn make<u32>(u32) -> Gen<u32>
-    [137; 152) 'Gen::make(0u32)': Gen<u32>
-    [147; 151) '0u32': u32
+    64..67 'val': T
+    82..109 '{     ...     }': Gen<T>
+    92..103 'Gen { val }': Gen<T>
+    98..101 'val': T
+    123..155 '{     ...32); }': ()
+    133..134 'a': Gen<u32>
+    137..146 'Gen::make': fn make<u32>(u32) -> Gen<u32>
+    137..152 'Gen::make(0u32)': Gen<u32>
+    147..151 '0u32': u32
     "###
     );
 }
@@ -201,13 +201,13 @@ fn test() {
 }
 "#),
         @r###"
-    [80; 104) '{     ...     }': Gen<T>
-    [90; 98) 'loop { }': !
-    [95; 98) '{ }': ()
-    [118; 146) '{     ...e(); }': ()
-    [128; 129) 'a': Gen<u32>
-    [132; 141) 'Gen::make': fn make<u32>() -> Gen<u32>
-    [132; 143) 'Gen::make()': Gen<u32>
+    80..104 '{     ...     }': Gen<T>
+    90..98 'loop { }': !
+    95..98 '{ }': ()
+    118..146 '{     ...e(); }': ()
+    128..129 'a': Gen<u32>
+    132..141 'Gen::make': fn make<u32>() -> Gen<u32>
+    132..143 'Gen::make()': Gen<u32>
     "###
     );
 }
@@ -255,13 +255,13 @@ fn test() {
 }
 "#),
         @r###"
-    [76; 100) '{     ...     }': Gen<T>
-    [86; 94) 'loop { }': !
-    [91; 94) '{ }': ()
-    [114; 149) '{     ...e(); }': ()
-    [124; 125) 'a': Gen<u32>
-    [128; 144) 'Gen::<...::make': fn make<u32>() -> Gen<u32>
-    [128; 146) 'Gen::<...make()': Gen<u32>
+    76..100 '{     ...     }': Gen<T>
+    86..94 'loop { }': !
+    91..94 '{ }': ()
+    114..149 '{     ...e(); }': ()
+    124..125 'a': Gen<u32>
+    128..144 'Gen::<...::make': fn make<u32>() -> Gen<u32>
+    128..146 'Gen::<...make()': Gen<u32>
     "###
     );
 }
@@ -286,13 +286,13 @@ fn test() {
 }
 "#),
         @r###"
-    [102; 126) '{     ...     }': Gen<u32, T>
-    [112; 120) 'loop { }': !
-    [117; 120) '{ }': ()
-    [140; 180) '{     ...e(); }': ()
-    [150; 151) 'a': Gen<u32, u64>
-    [154; 175) 'Gen::<...::make': fn make<u64>() -> Gen<u32, u64>
-    [154; 177) 'Gen::<...make()': Gen<u32, u64>
+    102..126 '{     ...     }': Gen<u32, T>
+    112..120 'loop { }': !
+    117..120 '{ }': ()
+    140..180 '{     ...e(); }': ()
+    150..151 'a': Gen<u32, u64>
+    154..175 'Gen::<...::make': fn make<u64>() -> Gen<u32, u64>
+    154..177 'Gen::<...make()': Gen<u32, u64>
     "###
     );
 }
@@ -340,13 +340,13 @@ fn test() {
 }
 "#),
         @r###"
-    [31; 35) 'self': &Self
-    [110; 114) 'self': &Self
-    [170; 228) '{     ...i128 }': ()
-    [176; 178) 'S1': S1
-    [176; 187) 'S1.method()': u32
-    [203; 205) 'S2': S2
-    [203; 214) 'S2.method()': i128
+    31..35 'self': &Self
+    110..114 'self': &Self
+    170..228 '{     ...i128 }': ()
+    176..178 'S1': S1
+    176..187 'S1.method()': u32
+    203..205 'S2': S2
+    203..214 'S2.method()': i128
     "###
     );
 }
@@ -387,14 +387,14 @@ mod bar_test {
 }
 "#),
         @r###"
-    [63; 67) 'self': &Self
-    [169; 173) 'self': &Self
-    [300; 337) '{     ...     }': ()
-    [310; 311) 'S': S
-    [310; 320) 'S.method()': u32
-    [416; 454) '{     ...     }': ()
-    [426; 427) 'S': S
-    [426; 436) 'S.method()': i128
+    63..67 'self': &Self
+    169..173 'self': &Self
+    300..337 '{     ...     }': ()
+    310..311 'S': S
+    310..320 'S.method()': u32
+    416..454 '{     ...     }': ()
+    426..427 'S': S
+    426..436 'S.method()': i128
     "###
     );
 }
@@ -414,10 +414,10 @@ fn test() {
 }
 "#),
         @r###"
-    [33; 37) 'self': &Self
-    [92; 111) '{     ...d(); }': ()
-    [98; 99) 'S': S
-    [98; 108) 'S.method()': u32
+    33..37 'self': &Self
+    92..111 '{     ...d(); }': ()
+    98..99 'S': S
+    98..108 'S.method()': u32
     "###
     );
 }
@@ -443,17 +443,17 @@ fn test() {
 }
 "#),
         @r###"
-    [43; 47) 'self': &Self
-    [82; 86) 'self': &Self
-    [210; 361) '{     ..., i8 }': ()
-    [216; 218) 'S1': S1
-    [216; 228) 'S1.method1()': (u8, u16, u32)
-    [250; 252) 'S1': S1
-    [250; 262) 'S1.method2()': (u32, u16, u8)
-    [284; 286) 'S2': S2
-    [284; 296) 'S2.method1()': (i8, i16, {unknown})
-    [324; 326) 'S2': S2
-    [324; 336) 'S2.method2()': ({unknown}, i16, i8)
+    43..47 'self': &Self
+    82..86 'self': &Self
+    210..361 '{     ..., i8 }': ()
+    216..218 'S1': S1
+    216..228 'S1.method1()': (u8, u16, u32)
+    250..252 'S1': S1
+    250..262 'S1.method2()': (u32, u16, u8)
+    284..286 'S2': S2
+    284..296 'S2.method1()': (i8, i16, {unknown})
+    324..326 'S2': S2
+    324..336 'S2.method2()': ({unknown}, i16, i8)
     "###
     );
 }
@@ -473,12 +473,12 @@ fn test() {
 }
 "#),
         @r###"
-    [33; 37) 'self': &Self
-    [102; 127) '{     ...d(); }': ()
-    [108; 109) 'S': S<u32>(u32) -> S<u32>
-    [108; 115) 'S(1u32)': S<u32>
-    [108; 124) 'S(1u32...thod()': u32
-    [110; 114) '1u32': u32
+    33..37 'self': &Self
+    102..127 '{     ...d(); }': ()
+    108..109 'S': S<u32>(u32) -> S<u32>
+    108..115 'S(1u32)': S<u32>
+    108..124 'S(1u32...thod()': u32
+    110..114 '1u32': u32
     "###
     );
 }
@@ -499,16 +499,16 @@ fn test() {
 }
 "#),
         @r###"
-    [87; 193) '{     ...t(); }': ()
-    [97; 99) 's1': S
-    [105; 121) 'Defaul...efault': fn default<S>() -> S
-    [105; 123) 'Defaul...ault()': S
-    [133; 135) 's2': S
-    [138; 148) 'S::default': fn default<S>() -> S
-    [138; 150) 'S::default()': S
-    [160; 162) 's3': S
-    [165; 188) '<S as ...efault': fn default<S>() -> S
-    [165; 190) '<S as ...ault()': S
+    87..193 '{     ...t(); }': ()
+    97..99 's1': S
+    105..121 'Defaul...efault': fn default<S>() -> S
+    105..123 'Defaul...ault()': S
+    133..135 's2': S
+    138..148 'S::default': fn default<S>() -> S
+    138..150 'S::default()': S
+    160..162 's3': S
+    165..188 '<S as ...efault': fn default<S>() -> S
+    165..190 '<S as ...ault()': S
     "###
     );
 }
@@ -531,16 +531,16 @@ fn test() {
 }
 "#),
         @r###"
-    [127; 211) '{     ...e(); }': ()
-    [137; 138) 'a': u32
-    [141; 148) 'S::make': fn make<S, u32>() -> u32
-    [141; 150) 'S::make()': u32
-    [160; 161) 'b': u64
-    [164; 178) 'G::<u64>::make': fn make<G<u64>, u64>() -> u64
-    [164; 180) 'G::<u6...make()': u64
-    [190; 191) 'c': f64
-    [199; 206) 'G::make': fn make<G<f64>, f64>() -> f64
-    [199; 208) 'G::make()': f64
+    127..211 '{     ...e(); }': ()
+    137..138 'a': u32
+    141..148 'S::make': fn make<S, u32>() -> u32
+    141..150 'S::make()': u32
+    160..161 'b': u64
+    164..178 'G::<u64>::make': fn make<G<u64>, u64>() -> u64
+    164..180 'G::<u6...make()': u64
+    190..191 'c': f64
+    199..206 'G::make': fn make<G<f64>, f64>() -> f64
+    199..208 'G::make()': f64
     "###
     );
 }
@@ -565,22 +565,22 @@ fn test() {
 }
 "#),
         @r###"
-    [135; 313) '{     ...e(); }': ()
-    [145; 146) 'a': (u32, i64)
-    [149; 163) 'S::make::<i64>': fn make<S, u32, i64>() -> (u32, i64)
-    [149; 165) 'S::mak...i64>()': (u32, i64)
-    [175; 176) 'b': (u32, i64)
-    [189; 196) 'S::make': fn make<S, u32, i64>() -> (u32, i64)
-    [189; 198) 'S::make()': (u32, i64)
-    [208; 209) 'c': (u32, i64)
-    [212; 233) 'G::<u3...:<i64>': fn make<G<u32>, u32, i64>() -> (u32, i64)
-    [212; 235) 'G::<u3...i64>()': (u32, i64)
-    [245; 246) 'd': (u32, i64)
-    [259; 273) 'G::make::<i64>': fn make<G<u32>, u32, i64>() -> (u32, i64)
-    [259; 275) 'G::mak...i64>()': (u32, i64)
-    [285; 286) 'e': (u32, i64)
-    [301; 308) 'G::make': fn make<G<u32>, u32, i64>() -> (u32, i64)
-    [301; 310) 'G::make()': (u32, i64)
+    135..313 '{     ...e(); }': ()
+    145..146 'a': (u32, i64)
+    149..163 'S::make::<i64>': fn make<S, u32, i64>() -> (u32, i64)
+    149..165 'S::mak...i64>()': (u32, i64)
+    175..176 'b': (u32, i64)
+    189..196 'S::make': fn make<S, u32, i64>() -> (u32, i64)
+    189..198 'S::make()': (u32, i64)
+    208..209 'c': (u32, i64)
+    212..233 'G::<u3...:<i64>': fn make<G<u32>, u32, i64>() -> (u32, i64)
+    212..235 'G::<u3...i64>()': (u32, i64)
+    245..246 'd': (u32, i64)
+    259..273 'G::make::<i64>': fn make<G<u32>, u32, i64>() -> (u32, i64)
+    259..275 'G::mak...i64>()': (u32, i64)
+    285..286 'e': (u32, i64)
+    301..308 'G::make': fn make<G<u32>, u32, i64>() -> (u32, i64)
+    301..310 'G::make()': (u32, i64)
     "###
     );
 }
@@ -599,10 +599,10 @@ fn test() {
 }
 "#),
         @r###"
-    [101; 127) '{     ...e(); }': ()
-    [111; 112) 'a': (S<i32>, i64)
-    [115; 122) 'S::make': fn make<S<i32>, i64>() -> (S<i32>, i64)
-    [115; 124) 'S::make()': (S<i32>, i64)
+    101..127 '{     ...e(); }': ()
+    111..112 'a': (S<i32>, i64)
+    115..122 'S::make': fn make<S<i32>, i64>() -> (S<i32>, i64)
+    115..124 'S::make()': (S<i32>, i64)
     "###
     );
 }
@@ -623,13 +623,13 @@ fn test() {
 }
 "#),
         @r###"
-    [131; 203) '{     ...e(); }': ()
-    [141; 142) 'a': (S<u64>, i64)
-    [158; 165) 'S::make': fn make<S<u64>, i64>() -> (S<u64>, i64)
-    [158; 167) 'S::make()': (S<u64>, i64)
-    [177; 178) 'b': (S<u32>, i32)
-    [191; 198) 'S::make': fn make<S<u32>, i32>() -> (S<u32>, i32)
-    [191; 200) 'S::make()': (S<u32>, i32)
+    131..203 '{     ...e(); }': ()
+    141..142 'a': (S<u64>, i64)
+    158..165 'S::make': fn make<S<u64>, i64>() -> (S<u64>, i64)
+    158..167 'S::make()': (S<u64>, i64)
+    177..178 'b': (S<u32>, i32)
+    191..198 'S::make': fn make<S<u32>, i32>() -> (S<u32>, i32)
+    191..200 'S::make()': (S<u32>, i32)
     "###
     );
 }
@@ -649,13 +649,13 @@ fn test() {
 }
 "#),
         @r###"
-    [107; 211) '{     ...>(); }': ()
-    [117; 118) 'a': (S<u64>, i64, u8)
-    [121; 150) '<S as ...::<u8>': fn make<S<u64>, i64, u8>() -> (S<u64>, i64, u8)
-    [121; 152) '<S as ...<u8>()': (S<u64>, i64, u8)
-    [162; 163) 'b': (S<u64>, i64, u8)
-    [182; 206) 'Trait:...::<u8>': fn make<S<u64>, i64, u8>() -> (S<u64>, i64, u8)
-    [182; 208) 'Trait:...<u8>()': (S<u64>, i64, u8)
+    107..211 '{     ...>(); }': ()
+    117..118 'a': (S<u64>, i64, u8)
+    121..150 '<S as ...::<u8>': fn make<S<u64>, i64, u8>() -> (S<u64>, i64, u8)
+    121..152 '<S as ...<u8>()': (S<u64>, i64, u8)
+    162..163 'b': (S<u64>, i64, u8)
+    182..206 'Trait:...::<u8>': fn make<S<u64>, i64, u8>() -> (S<u64>, i64, u8)
+    182..208 'Trait:...<u8>()': (S<u64>, i64, u8)
     "###
     );
 }
@@ -672,11 +672,11 @@ fn test<T: Trait>(t: T) {
 }
 "#),
         @r###"
-    [30; 34) 'self': &Self
-    [64; 65) 't': T
-    [70; 89) '{     ...d(); }': ()
-    [76; 77) 't': T
-    [76; 86) 't.method()': u32
+    30..34 'self': &Self
+    64..65 't': T
+    70..89 '{     ...d(); }': ()
+    76..77 't': T
+    76..86 't.method()': u32
     "###
     );
 }
@@ -693,11 +693,11 @@ fn test<U, T: Trait<U>>(t: T) {
 }
 "#),
         @r###"
-    [33; 37) 'self': &Self
-    [71; 72) 't': T
-    [77; 96) '{     ...d(); }': ()
-    [83; 84) 't': T
-    [83; 93) 't.method()': U
+    33..37 'self': &Self
+    71..72 't': T
+    77..96 '{     ...d(); }': ()
+    83..84 't': T
+    83..93 't.method()': U
     "###
     );
 }
@@ -719,18 +719,18 @@ fn test() {
 }
 "#),
         @r###"
-    [29; 33) 'self': Self
-    [111; 202) '{     ...(S); }': ()
-    [121; 122) 'x': u32
-    [130; 131) 'S': S
-    [130; 138) 'S.into()': u32
-    [148; 149) 'y': u64
-    [157; 158) 'S': S
-    [157; 165) 'S.into()': u64
-    [175; 176) 'z': u64
-    [179; 196) 'Into::...::into': fn into<S, u64>(S) -> u64
-    [179; 199) 'Into::...nto(S)': u64
-    [197; 198) 'S': S
+    29..33 'self': Self
+    111..202 '{     ...(S); }': ()
+    121..122 'x': u32
+    130..131 'S': S
+    130..138 'S.into()': u32
+    148..149 'y': u64
+    157..158 'S': S
+    157..165 'S.into()': u64
+    175..176 'z': u64
+    179..196 'Into::...::into': fn into<S, u64>(S) -> u64
+    179..199 'Into::...nto(S)': u64
+    197..198 'S': S
     "###
     );
 }
diff --git a/crates/ra_hir_ty/src/tests/patterns.rs b/crates/ra_hir_ty/src/tests/patterns.rs
index 6ea51d5d3..af291092d 100644
--- a/crates/ra_hir_ty/src/tests/patterns.rs
+++ b/crates/ra_hir_ty/src/tests/patterns.rs
@@ -30,54 +30,54 @@ fn test(x: &i32) {
 }
 "#),
         @r###"
-    [9; 10) 'x': &i32
-    [18; 369) '{     ...o_x; }': ()
-    [28; 29) 'y': &i32
-    [32; 33) 'x': &i32
-    [43; 45) '&z': &i32
-    [44; 45) 'z': i32
-    [48; 49) 'x': &i32
-    [59; 60) 'a': i32
-    [63; 64) 'z': i32
-    [74; 80) '(c, d)': (i32, &str)
-    [75; 76) 'c': i32
-    [78; 79) 'd': &str
-    [83; 95) '(1, "hello")': (i32, &str)
-    [84; 85) '1': i32
-    [87; 94) '"hello"': &str
-    [102; 152) 'for (e...     }': ()
-    [106; 112) '(e, f)': ({unknown}, {unknown})
-    [107; 108) 'e': {unknown}
-    [110; 111) 'f': {unknown}
-    [116; 125) 'some_iter': {unknown}
-    [126; 152) '{     ...     }': ()
-    [140; 141) 'g': {unknown}
-    [144; 145) 'e': {unknown}
-    [158; 205) 'if let...     }': ()
-    [165; 170) '[val]': [{unknown}]
-    [166; 169) 'val': {unknown}
-    [173; 176) 'opt': [{unknown}]
-    [177; 205) '{     ...     }': ()
-    [191; 192) 'h': {unknown}
-    [195; 198) 'val': {unknown}
-    [215; 221) 'lambda': |u64, u64, i32| -> i32
-    [224; 256) '|a: u6...b; c }': |u64, u64, i32| -> i32
-    [225; 226) 'a': u64
-    [233; 234) 'b': u64
-    [236; 237) 'c': i32
-    [244; 256) '{ a + b; c }': i32
-    [246; 247) 'a': u64
-    [246; 251) 'a + b': u64
-    [250; 251) 'b': u64
-    [253; 254) 'c': i32
-    [267; 279) 'ref ref_to_x': &&i32
-    [282; 283) 'x': &i32
-    [293; 302) 'mut mut_x': &i32
-    [305; 306) 'x': &i32
-    [316; 336) 'ref mu...f_to_x': &mut &i32
-    [339; 340) 'x': &i32
-    [350; 351) 'k': &mut &i32
-    [354; 366) 'mut_ref_to_x': &mut &i32
+    9..10 'x': &i32
+    18..369 '{     ...o_x; }': ()
+    28..29 'y': &i32
+    32..33 'x': &i32
+    43..45 '&z': &i32
+    44..45 'z': i32
+    48..49 'x': &i32
+    59..60 'a': i32
+    63..64 'z': i32
+    74..80 '(c, d)': (i32, &str)
+    75..76 'c': i32
+    78..79 'd': &str
+    83..95 '(1, "hello")': (i32, &str)
+    84..85 '1': i32
+    87..94 '"hello"': &str
+    102..152 'for (e...     }': ()
+    106..112 '(e, f)': ({unknown}, {unknown})
+    107..108 'e': {unknown}
+    110..111 'f': {unknown}
+    116..125 'some_iter': {unknown}
+    126..152 '{     ...     }': ()
+    140..141 'g': {unknown}
+    144..145 'e': {unknown}
+    158..205 'if let...     }': ()
+    165..170 '[val]': [{unknown}]
+    166..169 'val': {unknown}
+    173..176 'opt': [{unknown}]
+    177..205 '{     ...     }': ()
+    191..192 'h': {unknown}
+    195..198 'val': {unknown}
+    215..221 'lambda': |u64, u64, i32| -> i32
+    224..256 '|a: u6...b; c }': |u64, u64, i32| -> i32
+    225..226 'a': u64
+    233..234 'b': u64
+    236..237 'c': i32
+    244..256 '{ a + b; c }': i32
+    246..247 'a': u64
+    246..251 'a + b': u64
+    250..251 'b': u64
+    253..254 'c': i32
+    267..279 'ref ref_to_x': &&i32
+    282..283 'x': &i32
+    293..302 'mut mut_x': &i32
+    305..306 'x': &i32
+    316..336 'ref mu...f_to_x': &mut &i32
+    339..340 'x': &i32
+    350..351 'k': &mut &i32
+    354..366 'mut_ref_to_x': &mut &i32
     "###
     );
 }
@@ -97,47 +97,47 @@ fn test(x: &i32) {
 }
 "#, true),
         @r###"
-    [18; 29) '{ loop {} }': T
-    [20; 27) 'loop {}': !
-    [25; 27) '{}': ()
-    [38; 39) 'x': &i32
-    [47; 209) '{     ...) {} }': ()
-    [53; 76) 'if let...y() {}': ()
-    [60; 65) '"foo"': &str
-    [60; 65) '"foo"': &str
-    [68; 71) 'any': fn any<&str>() -> &str
-    [68; 73) 'any()': &str
-    [74; 76) '{}': ()
-    [81; 100) 'if let...y() {}': ()
-    [88; 89) '1': i32
-    [88; 89) '1': i32
-    [92; 95) 'any': fn any<i32>() -> i32
-    [92; 97) 'any()': i32
-    [98; 100) '{}': ()
-    [105; 127) 'if let...y() {}': ()
-    [112; 116) '1u32': u32
-    [112; 116) '1u32': u32
-    [119; 122) 'any': fn any<u32>() -> u32
-    [119; 124) 'any()': u32
-    [125; 127) '{}': ()
-    [132; 154) 'if let...y() {}': ()
-    [139; 143) '1f32': f32
-    [139; 143) '1f32': f32
-    [146; 149) 'any': fn any<f32>() -> f32
-    [146; 151) 'any()': f32
-    [152; 154) '{}': ()
-    [159; 180) 'if let...y() {}': ()
-    [166; 169) '1.0': f64
-    [166; 169) '1.0': f64
-    [172; 175) 'any': fn any<f64>() -> f64
-    [172; 177) 'any()': f64
-    [178; 180) '{}': ()
-    [185; 207) 'if let...y() {}': ()
-    [192; 196) 'true': bool
-    [192; 196) 'true': bool
-    [199; 202) 'any': fn any<bool>() -> bool
-    [199; 204) 'any()': bool
-    [205; 207) '{}': ()
+    18..29 '{ loop {} }': T
+    20..27 'loop {}': !
+    25..27 '{}': ()
+    38..39 'x': &i32
+    47..209 '{     ...) {} }': ()
+    53..76 'if let...y() {}': ()
+    60..65 '"foo"': &str
+    60..65 '"foo"': &str
+    68..71 'any': fn any<&str>() -> &str
+    68..73 'any()': &str
+    74..76 '{}': ()
+    81..100 'if let...y() {}': ()
+    88..89 '1': i32
+    88..89 '1': i32
+    92..95 'any': fn any<i32>() -> i32
+    92..97 'any()': i32
+    98..100 '{}': ()
+    105..127 'if let...y() {}': ()
+    112..116 '1u32': u32
+    112..116 '1u32': u32
+    119..122 'any': fn any<u32>() -> u32
+    119..124 'any()': u32
+    125..127 '{}': ()
+    132..154 'if let...y() {}': ()
+    139..143 '1f32': f32
+    139..143 '1f32': f32
+    146..149 'any': fn any<f32>() -> f32
+    146..151 'any()': f32
+    152..154 '{}': ()
+    159..180 'if let...y() {}': ()
+    166..169 '1.0': f64
+    166..169 '1.0': f64
+    172..175 'any': fn any<f64>() -> f64
+    172..177 'any()': f64
+    178..180 '{}': ()
+    185..207 'if let...y() {}': ()
+    192..196 'true': bool
+    192..196 'true': bool
+    199..202 'any': fn any<bool>() -> bool
+    199..204 'any()': bool
+    205..207 '{}': ()
     "###
     );
 }
@@ -152,16 +152,16 @@ fn test(x: &i32) {
 }
 "#, true),
         @r###"
-    [9; 10) 'x': &i32
-    [18; 76) '{     ...2 {} }': ()
-    [24; 46) 'if let...u32 {}': ()
-    [31; 36) '1..76': u32
-    [39; 43) '2u32': u32
-    [44; 46) '{}': ()
-    [51; 74) 'if let...u32 {}': ()
-    [58; 64) '1..=76': u32
-    [67; 71) '2u32': u32
-    [72; 74) '{}': ()
+    9..10 'x': &i32
+    18..76 '{     ...2 {} }': ()
+    24..46 'if let...u32 {}': ()
+    31..36 '1..76': u32
+    39..43 '2u32': u32
+    44..46 '{}': ()
+    51..74 'if let...u32 {}': ()
+    58..64 '1..=76': u32
+    67..71 '2u32': u32
+    72..74 '{}': ()
     "###
     );
 }
@@ -178,19 +178,19 @@ fn test() {
 }
 "#),
     @r###"
-    [28; 79) '{     ...(1); }': ()
-    [38; 42) 'A(n)': A<i32>
-    [40; 41) 'n': &i32
-    [45; 50) '&A(1)': &A<i32>
-    [46; 47) 'A': A<i32>(i32) -> A<i32>
-    [46; 50) 'A(1)': A<i32>
-    [48; 49) '1': i32
-    [60; 64) 'A(n)': A<i32>
-    [62; 63) 'n': &mut i32
-    [67; 76) '&mut A(1)': &mut A<i32>
-    [72; 73) 'A': A<i32>(i32) -> A<i32>
-    [72; 76) 'A(1)': A<i32>
-    [74; 75) '1': i32
+    28..79 '{     ...(1); }': ()
+    38..42 'A(n)': A<i32>
+    40..41 'n': &i32
+    45..50 '&A(1)': &A<i32>
+    46..47 'A': A<i32>(i32) -> A<i32>
+    46..50 'A(1)': A<i32>
+    48..49 '1': i32
+    60..64 'A(n)': A<i32>
+    62..63 'n': &mut i32
+    67..76 '&mut A(1)': &mut A<i32>
+    72..73 'A': A<i32>(i32) -> A<i32>
+    72..76 'A(1)': A<i32>
+    74..75 '1': i32
     "###
     );
 }
@@ -206,18 +206,18 @@ fn test() {
 }
 "#),
     @r###"
-    [11; 57) '{     ...= v; }': ()
-    [21; 22) 'v': &(i32, &i32)
-    [25; 33) '&(1, &2)': &(i32, &i32)
-    [26; 33) '(1, &2)': (i32, &i32)
-    [27; 28) '1': i32
-    [30; 32) '&2': &i32
-    [31; 32) '2': i32
-    [43; 50) '(_, &w)': (i32, &i32)
-    [44; 45) '_': i32
-    [47; 49) '&w': &i32
-    [48; 49) 'w': i32
-    [53; 54) 'v': &(i32, &i32)
+    11..57 '{     ...= v; }': ()
+    21..22 'v': &(i32, &i32)
+    25..33 '&(1, &2)': &(i32, &i32)
+    26..33 '(1, &2)': (i32, &i32)
+    27..28 '1': i32
+    30..32 '&2': &i32
+    31..32 '2': i32
+    43..50 '(_, &w)': (i32, &i32)
+    44..45 '_': i32
+    47..49 '&w': &i32
+    48..49 'w': i32
+    53..54 'v': &(i32, &i32)
     "###
     );
 }
@@ -242,30 +242,30 @@ fn test() {
 }
 "#),
     @r###"
-    [11; 210) '{     ...   } }': ()
-    [21; 26) 'slice': &[f64]
-    [37; 43) '&[0.0]': &[f64; _]
-    [38; 43) '[0.0]': [f64; _]
-    [39; 42) '0.0': f64
-    [49; 208) 'match ...     }': ()
-    [55; 60) 'slice': &[f64]
-    [71; 74) '&[]': &[f64]
-    [72; 74) '[]': [f64]
-    [78; 80) '{}': ()
-    [90; 94) '&[a]': &[f64]
-    [91; 94) '[a]': [f64]
-    [92; 93) 'a': f64
-    [98; 124) '{     ...     }': ()
-    [112; 113) 'a': f64
-    [134; 141) '&[b, c]': &[f64]
-    [135; 141) '[b, c]': [f64]
-    [136; 137) 'b': f64
-    [139; 140) 'c': f64
-    [145; 186) '{     ...     }': ()
-    [159; 160) 'b': f64
-    [174; 175) 'c': f64
-    [195; 196) '_': &[f64]
-    [200; 202) '{}': ()
+    11..210 '{     ...   } }': ()
+    21..26 'slice': &[f64]
+    37..43 '&[0.0]': &[f64; _]
+    38..43 '[0.0]': [f64; _]
+    39..42 '0.0': f64
+    49..208 'match ...     }': ()
+    55..60 'slice': &[f64]
+    71..74 '&[]': &[f64]
+    72..74 '[]': [f64]
+    78..80 '{}': ()
+    90..94 '&[a]': &[f64]
+    91..94 '[a]': [f64]
+    92..93 'a': f64
+    98..124 '{     ...     }': ()
+    112..113 'a': f64
+    134..141 '&[b, c]': &[f64]
+    135..141 '[b, c]': [f64]
+    136..137 'b': f64
+    139..140 'c': f64
+    145..186 '{     ...     }': ()
+    159..160 'b': f64
+    174..175 'c': f64
+    195..196 '_': &[f64]
+    200..202 '{}': ()
     "###
     );
 }
@@ -288,25 +288,25 @@ fn test() {
 }
 "#),
     @r###"
-    [11; 180) '{     ...   } }': ()
-    [21; 24) 'arr': [f64; _]
-    [37; 47) '[0.0, 1.0]': [f64; _]
-    [38; 41) '0.0': f64
-    [43; 46) '1.0': f64
-    [53; 178) 'match ...     }': ()
-    [59; 62) 'arr': [f64; _]
-    [73; 81) '[1.0, a]': [f64; _]
-    [74; 77) '1.0': f64
-    [74; 77) '1.0': f64
-    [79; 80) 'a': f64
-    [85; 111) '{     ...     }': ()
-    [99; 100) 'a': f64
-    [121; 127) '[b, c]': [f64; _]
-    [122; 123) 'b': f64
-    [125; 126) 'c': f64
-    [131; 172) '{     ...     }': ()
-    [145; 146) 'b': f64
-    [160; 161) 'c': f64
+    11..180 '{     ...   } }': ()
+    21..24 'arr': [f64; _]
+    37..47 '[0.0, 1.0]': [f64; _]
+    38..41 '0.0': f64
+    43..46 '1.0': f64
+    53..178 'match ...     }': ()
+    59..62 'arr': [f64; _]
+    73..81 '[1.0, a]': [f64; _]
+    74..77 '1.0': f64
+    74..77 '1.0': f64
+    79..80 'a': f64
+    85..111 '{     ...     }': ()
+    99..100 'a': f64
+    121..127 '[b, c]': [f64; _]
+    122..123 'b': f64
+    125..126 'c': f64
+    131..172 '{     ...     }': ()
+    145..146 'b': f64
+    160..161 'c': f64
     "###
     );
 }
@@ -339,31 +339,31 @@ fn test() {
 }
 "#),
         @r###"
-    [68; 289) '{     ...  d; }': ()
-    [78; 79) 'e': E
-    [82; 95) 'E::A { x: 3 }': E
-    [92; 93) '3': usize
-    [106; 113) 'S(y, z)': S
-    [108; 109) 'y': u32
-    [111; 112) 'z': E
-    [116; 119) 'foo': S
-    [129; 148) 'E::A {..._var }': E
-    [139; 146) 'new_var': usize
-    [151; 152) 'e': E
-    [159; 245) 'match ...     }': usize
-    [165; 166) 'e': E
-    [177; 187) 'E::A { x }': E
-    [184; 185) 'x': usize
-    [191; 192) 'x': usize
-    [202; 206) 'E::B': E
-    [210; 213) 'foo': bool
-    [217; 218) '1': usize
-    [228; 232) 'E::B': E
-    [236; 238) '10': usize
-    [256; 275) 'ref d ...{ .. }': &E
-    [264; 275) 'E::A { .. }': E
-    [278; 279) 'e': E
-    [285; 286) 'd': &E
+    68..289 '{     ...  d; }': ()
+    78..79 'e': E
+    82..95 'E::A { x: 3 }': E
+    92..93 '3': usize
+    106..113 'S(y, z)': S
+    108..109 'y': u32
+    111..112 'z': E
+    116..119 'foo': S
+    129..148 'E::A {..._var }': E
+    139..146 'new_var': usize
+    151..152 'e': E
+    159..245 'match ...     }': usize
+    165..166 'e': E
+    177..187 'E::A { x }': E
+    184..185 'x': usize
+    191..192 'x': usize
+    202..206 'E::B': E
+    210..213 'foo': bool
+    217..218 '1': usize
+    228..232 'E::B': E
+    236..238 '10': usize
+    256..275 'ref d ...{ .. }': &E
+    264..275 'E::A { .. }': E
+    278..279 'e': E
+    285..286 'd': &E
     "###
     );
 }
@@ -391,23 +391,23 @@ fn test(a1: A<u32>, o: Option<u64>) {
 }
 "#),
         @r###"
-    [79; 81) 'a1': A<u32>
-    [91; 92) 'o': Option<u64>
-    [107; 244) '{     ...  }; }': ()
-    [117; 128) 'A { x: x2 }': A<u32>
-    [124; 126) 'x2': u32
-    [131; 133) 'a1': A<u32>
-    [143; 161) 'A::<i6...: x3 }': A<i64>
-    [157; 159) 'x3': i64
-    [164; 174) 'A { x: 1 }': A<i64>
-    [171; 172) '1': i64
-    [180; 241) 'match ...     }': u64
-    [186; 187) 'o': Option<u64>
-    [198; 213) 'Option::Some(t)': Option<u64>
-    [211; 212) 't': u64
-    [217; 218) 't': u64
-    [228; 229) '_': Option<u64>
-    [233; 234) '1': u64
+    79..81 'a1': A<u32>
+    91..92 'o': Option<u64>
+    107..244 '{     ...  }; }': ()
+    117..128 'A { x: x2 }': A<u32>
+    124..126 'x2': u32
+    131..133 'a1': A<u32>
+    143..161 'A::<i6...: x3 }': A<i64>
+    157..159 'x3': i64
+    164..174 'A { x: 1 }': A<i64>
+    171..172 '1': i64
+    180..241 'match ...     }': u64
+    186..187 'o': Option<u64>
+    198..213 'Option::Some(t)': Option<u64>
+    211..212 't': u64
+    217..218 't': u64
+    228..229 '_': Option<u64>
+    233..234 '1': u64
     "###
     );
 }
@@ -431,27 +431,27 @@ fn test() {
 }
 "#, true),
         @r###"
-    [74; 75) '1': usize
-    [88; 310) '{     ...atch }': ()
-    [98; 99) 'a': Option<u32>
-    [115; 119) 'None': Option<u32>
-    [129; 130) 'b': Option<i64>
-    [146; 183) 'match ...     }': Option<i64>
-    [152; 153) 'a': Option<u32>
-    [164; 168) 'None': Option<u32>
-    [172; 176) 'None': Option<i64>
-    [193; 194) '_': ()
-    [201; 224) 'match ... Foo }': Foo
-    [207; 209) '()': ()
-    [212; 215) 'Foo': Foo
-    [219; 222) 'Foo': Foo
-    [255; 256) '_': ()
-    [263; 286) 'match ... Bar }': usize
-    [269; 271) '()': ()
-    [274; 277) 'Bar': usize
-    [281; 284) 'Bar': usize
-    [201; 224): expected (), got Foo
-    [263; 286): expected (), got usize
+    74..75 '1': usize
+    88..310 '{     ...atch }': ()
+    98..99 'a': Option<u32>
+    115..119 'None': Option<u32>
+    129..130 'b': Option<i64>
+    146..183 'match ...     }': Option<i64>
+    152..153 'a': Option<u32>
+    164..168 'None': Option<u32>
+    172..176 'None': Option<i64>
+    193..194 '_': ()
+    201..224 'match ... Foo }': Foo
+    207..209 '()': ()
+    212..215 'Foo': Foo
+    219..222 'Foo': Foo
+    255..256 '_': ()
+    263..286 'match ... Bar }': usize
+    269..271 '()': ()
+    274..277 'Bar': usize
+    281..284 'Bar': usize
+    201..224: expected (), got Foo
+    263..286: expected (), got usize
     "###
     );
 }
@@ -469,15 +469,15 @@ fn main() {
     }
 }
     "#), @"
-        [28; 32) 'self': &S
-        [42; 51) '{ false }': bool
-        [44; 49) 'false': bool
-        [65; 116) '{     ...   } }': ()
-        [71; 114) 'match ...     }': ()
-        [77; 78) 'S': S
-        [89; 90) 's': S
-        [94; 95) 's': S
-        [94; 101) 's.foo()': bool
-        [105; 107) '()': ()
+        28..32 'self': &S
+        42..51 '{ false }': bool
+        44..49 'false': bool
+        65..116 '{     ...   } }': ()
+        71..114 'match ...     }': ()
+        77..78 'S': S
+        89..90 's': S
+        94..95 's': S
+        94..101 's.foo()': bool
+        105..107 '()': ()
     ")
 }
diff --git a/crates/ra_hir_ty/src/tests/regression.rs b/crates/ra_hir_ty/src/tests/regression.rs
index 61a6801fc..8a1292c7a 100644
--- a/crates/ra_hir_ty/src/tests/regression.rs
+++ b/crates/ra_hir_ty/src/tests/regression.rs
@@ -14,11 +14,11 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 37) '{    l... {}; }': ()
-    [20; 21) 'x': ()
-    [24; 34) 'if true {}': ()
-    [27; 31) 'true': bool
-    [32; 34) '{}': ()
+    11..37 '{    l... {}; }': ()
+    20..21 'x': ()
+    24..34 'if true {}': ()
+    27..31 'true': bool
+    32..34 '{}': ()
     "###
     );
 }
@@ -34,10 +34,10 @@ fn test(x: X) {
 }
 "#),
         @r###"
-    [20; 21) 'x': X
-    [26; 47) '{     ...eld; }': ()
-    [32; 33) 'x': X
-    [32; 44) 'x.some_field': {unknown}
+    20..21 'x': X
+    26..47 '{     ...eld; }': ()
+    32..33 'x': X
+    32..44 'x.some_field': {unknown}
     "###
     );
 }
@@ -55,14 +55,14 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 89) '{     ...   } }': ()
-    [17; 21) 'X {}': {unknown}
-    [27; 87) 'match ...     }': ()
-    [33; 34) 'x': {unknown}
-    [45; 52) 'A::B {}': {unknown}
-    [56; 58) '()': ()
-    [68; 74) 'A::Y()': {unknown}
-    [78; 80) '()': ()
+    11..89 '{     ...   } }': ()
+    17..21 'X {}': {unknown}
+    27..87 'match ...     }': ()
+    33..34 'x': {unknown}
+    45..52 'A::B {}': {unknown}
+    56..58 '()': ()
+    68..74 'A::Y()': {unknown}
+    78..80 '()': ()
     "###
     );
 }
@@ -77,12 +77,12 @@ fn quux() {
 }
 "#),
         @r###"
-    [11; 41) '{     ...+ y; }': ()
-    [21; 22) 'y': i32
-    [25; 27) '92': i32
-    [33; 34) '1': i32
-    [33; 38) '1 + y': i32
-    [37; 38) 'y': i32
+    11..41 '{     ...+ y; }': ()
+    21..22 'y': i32
+    25..27 '92': i32
+    33..34 '1': i32
+    33..38 '1 + y': i32
+    37..38 'y': i32
     "###
     );
 }
@@ -99,13 +99,13 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 48) '{     ...&y]; }': ()
-    [21; 22) 'y': &{unknown}
-    [25; 32) 'unknown': &{unknown}
-    [38; 45) '[y, &y]': [&&{unknown}; _]
-    [39; 40) 'y': &{unknown}
-    [42; 44) '&y': &&{unknown}
-    [43; 44) 'y': &{unknown}
+    11..48 '{     ...&y]; }': ()
+    21..22 'y': &{unknown}
+    25..32 'unknown': &{unknown}
+    38..45 '[y, &y]': [&&{unknown}; _]
+    39..40 'y': &{unknown}
+    42..44 '&y': &&{unknown}
+    43..44 'y': &{unknown}
     "###
     );
 }
@@ -123,20 +123,20 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 80) '{     ...x)]; }': ()
-    [21; 22) 'x': &&{unknown}
-    [25; 32) 'unknown': &&{unknown}
-    [42; 43) 'y': &&{unknown}
-    [46; 53) 'unknown': &&{unknown}
-    [59; 77) '[(x, y..., &x)]': [(&&&{unknown}, &&&{unknown}); _]
-    [60; 66) '(x, y)': (&&&{unknown}, &&&{unknown})
-    [61; 62) 'x': &&{unknown}
-    [64; 65) 'y': &&{unknown}
-    [68; 76) '(&y, &x)': (&&&{unknown}, &&&{unknown})
-    [69; 71) '&y': &&&{unknown}
-    [70; 71) 'y': &&{unknown}
-    [73; 75) '&x': &&&{unknown}
-    [74; 75) 'x': &&{unknown}
+    11..80 '{     ...x)]; }': ()
+    21..22 'x': &&{unknown}
+    25..32 'unknown': &&{unknown}
+    42..43 'y': &&{unknown}
+    46..53 'unknown': &&{unknown}
+    59..77 '[(x, y..., &x)]': [(&&&{unknown}, &&&{unknown}); _]
+    60..66 '(x, y)': (&&&{unknown}, &&&{unknown})
+    61..62 'x': &&{unknown}
+    64..65 'y': &&{unknown}
+    68..76 '(&y, &x)': (&&&{unknown}, &&&{unknown})
+    69..71 '&y': &&&{unknown}
+    70..71 'y': &&{unknown}
+    73..75 '&x': &&&{unknown}
+    74..75 'x': &&{unknown}
     "###
     );
 }
@@ -158,12 +158,12 @@ fn write() {
 }
 "#),
         @r###"
-    [54; 139) '{     ...   } }': ()
-    [60; 137) 'match ...     }': ()
-    [66; 83) 'someth...nknown': Maybe<{unknown}>
-    [94; 124) 'Maybe:...thing)': Maybe<{unknown}>
-    [106; 123) 'ref mu...ething': &mut {unknown}
-    [128; 130) '()': ()
+    54..139 '{     ...   } }': ()
+    60..137 'match ...     }': ()
+    66..83 'someth...nknown': Maybe<{unknown}>
+    94..124 'Maybe:...thing)': Maybe<{unknown}>
+    106..123 'ref mu...ething': &mut {unknown}
+    128..130 '()': ()
     "###
     );
 }
@@ -179,13 +179,13 @@ fn test_line_buffer() {
 }
 "#),
         @r###"
-    [23; 53) '{     ...n']; }': ()
-    [29; 50) '&[0, b...b'\n']': &[u8; _]
-    [30; 50) '[0, b'...b'\n']': [u8; _]
-    [31; 32) '0': u8
-    [34; 39) 'b'\n'': u8
-    [41; 42) '1': u8
-    [44; 49) 'b'\n'': u8
+    23..53 '{     ...n']; }': ()
+    29..50 '&[0, b...b'\n']': &[u8; _]
+    30..50 '[0, b'...b'\n']': [u8; _]
+    31..32 '0': u8
+    34..39 'b'\n'': u8
+    41..42 '1': u8
+    44..49 'b'\n'': u8
     "###
     );
 }
@@ -202,14 +202,14 @@ pub fn compute() {
 }
 "#),
         @r###"
-    [18; 108) '{     ...   } }': ()
-    [24; 106) 'match ...     }': ()
-    [30; 37) 'nope!()': {unknown}
-    [48; 94) 'SizeSk...tail }': {unknown}
-    [82; 86) 'true': bool
-    [82; 86) 'true': bool
-    [88; 92) 'tail': {unknown}
-    [98; 100) '{}': ()
+    18..108 '{     ...   } }': ()
+    24..106 'match ...     }': ()
+    30..37 'nope!()': {unknown}
+    48..94 'SizeSk...tail }': {unknown}
+    82..86 'true': bool
+    82..86 'true': bool
+    88..92 'tail': {unknown}
+    98..100 '{}': ()
     "###
     );
 }
@@ -226,14 +226,14 @@ pub fn primitive_type() {
 }
 "#),
         @r###"
-    [25; 106) '{     ...   } }': ()
-    [31; 104) 'match ...     }': ()
-    [37; 42) '*self': {unknown}
-    [38; 42) 'self': {unknown}
-    [53; 91) 'Borrow...), ..}': {unknown}
-    [74; 86) 'Primitive(p)': {unknown}
-    [84; 85) 'p': {unknown}
-    [95; 97) '{}': ()
+    25..106 '{     ...   } }': ()
+    31..104 'match ...     }': ()
+    37..42 '*self': {unknown}
+    38..42 'self': {unknown}
+    53..91 'Borrow...), ..}': {unknown}
+    74..86 'Primitive(p)': {unknown}
+    84..85 'p': {unknown}
+    95..97 '{}': ()
     "###
     );
 }
@@ -260,29 +260,29 @@ fn extra_compiler_flags() {
 }
 "#),
         @r###"
-    [27; 323) '{     ...   } }': ()
-    [33; 321) 'for co...     }': ()
-    [37; 44) 'content': &{unknown}
-    [48; 61) 'doesnt_matter': {unknown}
-    [62; 321) '{     ...     }': ()
-    [76; 80) 'name': &&{unknown}
-    [83; 167) 'if doe...     }': &&{unknown}
-    [86; 99) 'doesnt_matter': bool
-    [100; 129) '{     ...     }': &&{unknown}
-    [114; 119) 'first': &&{unknown}
-    [135; 167) '{     ...     }': &&{unknown}
-    [149; 157) '&content': &&{unknown}
-    [150; 157) 'content': &{unknown}
-    [182; 189) 'content': &{unknown}
-    [192; 314) 'if ICE...     }': &{unknown}
-    [195; 232) 'ICE_RE..._VALUE': {unknown}
-    [195; 248) 'ICE_RE...&name)': bool
-    [242; 247) '&name': &&&{unknown}
-    [243; 247) 'name': &&{unknown}
-    [249; 277) '{     ...     }': &&{unknown}
-    [263; 267) 'name': &&{unknown}
-    [283; 314) '{     ...     }': &{unknown}
-    [297; 304) 'content': &{unknown}
+    27..323 '{     ...   } }': ()
+    33..321 'for co...     }': ()
+    37..44 'content': &{unknown}
+    48..61 'doesnt_matter': {unknown}
+    62..321 '{     ...     }': ()
+    76..80 'name': &&{unknown}
+    83..167 'if doe...     }': &&{unknown}
+    86..99 'doesnt_matter': bool
+    100..129 '{     ...     }': &&{unknown}
+    114..119 'first': &&{unknown}
+    135..167 '{     ...     }': &&{unknown}
+    149..157 '&content': &&{unknown}
+    150..157 'content': &{unknown}
+    182..189 'content': &{unknown}
+    192..314 'if ICE...     }': &{unknown}
+    195..232 'ICE_RE..._VALUE': {unknown}
+    195..248 'ICE_RE...&name)': bool
+    242..247 '&name': &&&{unknown}
+    243..247 'name': &&{unknown}
+    249..277 '{     ...     }': &&{unknown}
+    263..267 'name': &&{unknown}
+    283..314 '{     ...     }': &{unknown}
+    297..304 'content': &{unknown}
     "###
     );
 }
@@ -303,11 +303,11 @@ fn test<R>(query_response: Canonical<QueryResponse<R>>) {
 }
 "#),
         @r###"
-    [92; 106) 'query_response': Canonical<QueryResponse<R>>
-    [137; 167) '{     ...lue; }': ()
-    [143; 164) '&query....value': &QueryResponse<R>
-    [144; 158) 'query_response': Canonical<QueryResponse<R>>
-    [144; 164) 'query_....value': QueryResponse<R>
+    92..106 'query_response': Canonical<QueryResponse<R>>
+    137..167 '{     ...lue; }': ()
+    143..164 '&query....value': &QueryResponse<R>
+    144..158 'query_response': Canonical<QueryResponse<R>>
+    144..164 'query_....value': QueryResponse<R>
     "###
     );
 }
@@ -322,9 +322,9 @@ fn test() {
 }
 "#),
         @r###"
-    ![0; 4) '0u32': u32
-    [45; 70) '{     ...()); }': ()
-    [55; 56) 'a': u32
+    !0..4 '0u32': u32
+    45..70 '{     ...()); }': ()
+    55..56 'a': u32
         "###
     );
 }
@@ -345,10 +345,10 @@ pub fn main_loop() {
 }
 "#),
     @r###"
-    [144; 146) '{}': ()
-    [169; 198) '{     ...t(); }': ()
-    [175; 193) 'FxHash...efault': fn default<{unknown}, FxHasher>() -> HashSet<{unknown}, FxHasher>
-    [175; 195) 'FxHash...ault()': HashSet<{unknown}, FxHasher>
+    144..146 '{}': ()
+    169..198 '{     ...t(); }': ()
+    175..193 'FxHash...efault': fn default<{unknown}, FxHasher>() -> HashSet<{unknown}, FxHasher>
+    175..195 'FxHash...ault()': HashSet<{unknown}, FxHasher>
     "###
     );
 }
@@ -375,13 +375,13 @@ fn issue_2669() {
     }"#
         ),
         @r###"
-    [147; 262) '{     ...     }': ()
-    [161; 164) 'end': fn end<{unknown}>()
-    [161; 166) 'end()': ()
-    [199; 252) '{     ...     }': ()
-    [221; 223) '_x': !
-    [230; 237) 'loop {}': !
-    [235; 237) '{}': ()
+    147..262 '{     ...     }': ()
+    161..164 'end': fn end<{unknown}>()
+    161..166 'end()': ()
+    199..252 '{     ...     }': ()
+    221..223 '_x': !
+    230..237 'loop {}': !
+    235..237 '{}': ()
     "###
     )
 }
@@ -396,9 +396,9 @@ fn test() {
 }
 "#),
         @r###"
-    [26; 53) '{     ...oo() }': ()
-    [32; 49) '<Trait...>::foo': {unknown}
-    [32; 51) '<Trait...:foo()': ()
+    26..53 '{     ...oo() }': ()
+    32..49 '<Trait...>::foo': {unknown}
+    32..51 '<Trait...:foo()': ()
     "###
     );
 }
@@ -496,13 +496,13 @@ fn foo(params: &[usize]) {
 }
 "#),
         @r###"
-    [8; 14) 'params': &[usize]
-    [26; 81) '{     ...   } }': ()
-    [32; 79) 'match ...     }': ()
-    [38; 44) 'params': &[usize]
-    [55; 67) '[ps @ .., _]': [usize]
-    [65; 66) '_': usize
-    [71; 73) '{}': ()
+    8..14 'params': &[usize]
+    26..81 '{     ...   } }': ()
+    32..79 'match ...     }': ()
+    38..44 'params': &[usize]
+    55..67 '[ps @ .., _]': [usize]
+    65..66 '_': usize
+    71..73 '{}': ()
     "###
     );
 }
@@ -523,13 +523,13 @@ fn foo(b: Bar) {
 }
 "#),
         @r###"
-    [36; 37) 'b': Bar
-    [44; 96) '{     ...   } }': ()
-    [50; 94) 'match ...     }': ()
-    [56; 57) 'b': Bar
-    [68; 81) 'Bar { a: .. }': Bar
-    [77; 79) '..': bool
-    [85; 87) '{}': ()
+    36..37 'b': Bar
+    44..96 '{     ...   } }': ()
+    50..94 'match ...     }': ()
+    56..57 'b': Bar
+    68..81 'Bar { a: .. }': Bar
+    77..79 '..': bool
+    85..87 '{}': ()
     "###
     );
 }
@@ -564,13 +564,13 @@ where
 }
 "#),
         @r###"
-    [66; 70) 'self': Self
-    [268; 272) 'self': Self
-    [467; 471) 'self': SelectStatement<F, S, D, W, O, LOf, {unknown}, {unknown}>
-    [489; 523) '{     ...     }': ()
-    [499; 503) 'self': SelectStatement<F, S, D, W, O, LOf, {unknown}, {unknown}>
-    [499; 509) 'self.order': O
-    [499; 516) 'self.o...into()': dyn QueryFragment<DB>
+    66..70 'self': Self
+    268..272 'self': Self
+    467..471 'self': SelectStatement<F, S, D, W, O, LOf, {unknown}, {unknown}>
+    489..523 '{     ...     }': ()
+    499..503 'self': SelectStatement<F, S, D, W, O, LOf, {unknown}, {unknown}>
+    499..509 'self.order': O
+    499..516 'self.o...into()': dyn QueryFragment<DB>
     "###
     );
 }
diff --git a/crates/ra_hir_ty/src/tests/simple.rs b/crates/ra_hir_ty/src/tests/simple.rs
index c2f1ded2f..56abc65b8 100644
--- a/crates/ra_hir_ty/src/tests/simple.rs
+++ b/crates/ra_hir_ty/src/tests/simple.rs
@@ -64,9 +64,9 @@ impl S<u32> {
 }
 "#,
     ), @r###"
-    [63; 93) '{     ...     }': ()
-    [73; 86) 'Self { x: 1 }': S<u32>
-    [83; 84) '1': u32
+    63..93 '{     ...     }': ()
+    73..86 'Self { x: 1 }': S<u32>
+    83..84 '1': u32
     "###);
 }
 
@@ -85,9 +85,9 @@ fn foo() {
 
 "#,
     ), @r###"
-    [64; 84) '{     ...1 }; }': ()
-    [70; 81) 'SS { x: 1 }': S<u32>
-    [78; 79) '1': u32
+    64..84 '{     ...1 }; }': ()
+    70..81 'SS { x: 1 }': S<u32>
+    78..79 '1': u32
     "###);
 }
 
@@ -175,19 +175,19 @@ fn test(a: u32, b: isize, c: !, d: &str) {
     1.0f32;
 }"#),
         @r###"
-    [9; 10) 'a': u32
-    [17; 18) 'b': isize
-    [27; 28) 'c': !
-    [33; 34) 'd': &str
-    [42; 121) '{     ...f32; }': !
-    [48; 49) 'a': u32
-    [55; 56) 'b': isize
-    [62; 63) 'c': !
-    [69; 70) 'd': &str
-    [76; 82) '1usize': usize
-    [88; 94) '1isize': isize
-    [100; 106) '"test"': &str
-    [112; 118) '1.0f32': f32
+    9..10 'a': u32
+    17..18 'b': isize
+    27..28 'c': !
+    33..34 'd': &str
+    42..121 '{     ...f32; }': !
+    48..49 'a': u32
+    55..56 'b': isize
+    62..63 'c': !
+    69..70 'd': &str
+    76..82 '1usize': usize
+    88..94 '1isize': isize
+    100..106 '"test"': &str
+    112..118 '1.0f32': f32
     "###
     );
 }
@@ -206,17 +206,17 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 118) '{     ...= e; }': ()
-    [21; 22) 'a': isize
-    [25; 31) '1isize': isize
-    [41; 42) 'b': usize
-    [52; 53) '1': usize
-    [63; 64) 'c': usize
-    [67; 68) 'b': usize
-    [78; 79) 'd': u32
-    [94; 95) 'e': i32
-    [105; 106) 'f': i32
-    [114; 115) 'e': i32
+    11..118 '{     ...= e; }': ()
+    21..22 'a': isize
+    25..31 '1isize': isize
+    41..42 'b': usize
+    52..53 '1': usize
+    63..64 'c': usize
+    67..68 'b': usize
+    78..79 'd': u32
+    94..95 'e': i32
+    105..106 'f': i32
+    114..115 'e': i32
     "###
     );
 }
@@ -237,15 +237,15 @@ fn test() {
 }
 "#),
         @r###"
-    [15; 20) '{ 1 }': u32
-    [17; 18) '1': u32
-    [48; 53) '{ 1 }': u32
-    [50; 51) '1': u32
-    [67; 91) '{     ...c(); }': ()
-    [73; 74) 'a': fn a() -> u32
-    [73; 76) 'a()': u32
-    [82; 86) 'b::c': fn c() -> u32
-    [82; 88) 'b::c()': u32
+    15..20 '{ 1 }': u32
+    17..18 '1': u32
+    48..53 '{ 1 }': u32
+    50..51 '1': u32
+    67..91 '{     ...c(); }': ()
+    73..74 'a': fn a() -> u32
+    73..76 'a()': u32
+    82..86 'b::c': fn c() -> u32
+    82..88 'b::c()': u32
     "###
     );
 }
@@ -266,13 +266,13 @@ fn test() {
 }
 "#),
         @r###"
-    [41; 46) '{ 1 }': i32
-    [43; 44) '1': i32
-    [60; 93) '{     ...o(); }': ()
-    [66; 72) 'S::foo': fn foo() -> i32
-    [66; 74) 'S::foo()': i32
-    [80; 88) '<S>::foo': fn foo() -> i32
-    [80; 90) '<S>::foo()': i32
+    41..46 '{ 1 }': i32
+    43..44 '1': i32
+    60..93 '{     ...o(); }': ()
+    66..72 'S::foo': fn foo() -> i32
+    66..74 'S::foo()': i32
+    80..88 '<S>::foo': fn foo() -> i32
+    80..90 '<S>::foo()': i32
     "###
     );
 }
@@ -297,22 +297,22 @@ fn test() {
 }
 "#),
         @r###"
-    [72; 154) '{     ...a.c; }': ()
-    [82; 83) 'c': C
-    [86; 87) 'C': C(usize) -> C
-    [86; 90) 'C(1)': C
-    [88; 89) '1': usize
-    [96; 97) 'B': B
-    [107; 108) 'a': A
-    [114; 133) 'A { b:...C(1) }': A
-    [121; 122) 'B': B
-    [127; 128) 'C': C(usize) -> C
-    [127; 131) 'C(1)': C
-    [129; 130) '1': usize
-    [139; 140) 'a': A
-    [139; 142) 'a.b': B
-    [148; 149) 'a': A
-    [148; 151) 'a.c': C
+    72..154 '{     ...a.c; }': ()
+    82..83 'c': C
+    86..87 'C': C(usize) -> C
+    86..90 'C(1)': C
+    88..89 '1': usize
+    96..97 'B': B
+    107..108 'a': A
+    114..133 'A { b:...C(1) }': A
+    121..122 'B': B
+    127..128 'C': C(usize) -> C
+    127..131 'C(1)': C
+    129..130 '1': usize
+    139..140 'a': A
+    139..142 'a.b': B
+    148..149 'a': A
+    148..151 'a.c': C
     "###
     );
 }
@@ -330,10 +330,10 @@ fn test() {
   E::V2;
 }"#),
         @r###"
-    [48; 82) '{   E:...:V2; }': ()
-    [52; 70) 'E::V1 ...d: 1 }': E
-    [67; 68) '1': u32
-    [74; 79) 'E::V2': E
+    48..82 '{   E:...:V2; }': ()
+    52..70 'E::V1 ...d: 1 }': E
+    67..68 '1': u32
+    74..79 'E::V2': E
     "###
     );
 }
@@ -357,29 +357,29 @@ fn test(a: &u32, b: &mut u32, c: *const u32, d: *mut u32) {
 }
 "#),
         @r###"
-    [9; 10) 'a': &u32
-    [18; 19) 'b': &mut u32
-    [31; 32) 'c': *const u32
-    [46; 47) 'd': *mut u32
-    [59; 150) '{     ... *d; }': ()
-    [65; 66) 'a': &u32
-    [72; 74) '*a': u32
-    [73; 74) 'a': &u32
-    [80; 82) '&a': &&u32
-    [81; 82) 'a': &u32
-    [88; 94) '&mut a': &mut &u32
-    [93; 94) 'a': &u32
-    [100; 101) 'b': &mut u32
-    [107; 109) '*b': u32
-    [108; 109) 'b': &mut u32
-    [115; 117) '&b': &&mut u32
-    [116; 117) 'b': &mut u32
-    [123; 124) 'c': *const u32
-    [130; 132) '*c': u32
-    [131; 132) 'c': *const u32
-    [138; 139) 'd': *mut u32
-    [145; 147) '*d': u32
-    [146; 147) 'd': *mut u32
+    9..10 'a': &u32
+    18..19 'b': &mut u32
+    31..32 'c': *const u32
+    46..47 'd': *mut u32
+    59..150 '{     ... *d; }': ()
+    65..66 'a': &u32
+    72..74 '*a': u32
+    73..74 'a': &u32
+    80..82 '&a': &&u32
+    81..82 'a': &u32
+    88..94 '&mut a': &mut &u32
+    93..94 'a': &u32
+    100..101 'b': &mut u32
+    107..109 '*b': u32
+    108..109 'b': &mut u32
+    115..117 '&b': &&mut u32
+    116..117 'b': &mut u32
+    123..124 'c': *const u32
+    130..132 '*c': u32
+    131..132 'c': *const u32
+    138..139 'd': *mut u32
+    145..147 '*d': u32
+    146..147 'd': *mut u32
     "###
     );
 }
@@ -409,20 +409,20 @@ fn test() {
 }
 "##),
         @r###"
-    [11; 221) '{     ...o"#; }': ()
-    [17; 21) '5i32': i32
-    [27; 31) '5f32': f32
-    [37; 41) '5f64': f64
-    [47; 54) '"hello"': &str
-    [60; 68) 'b"bytes"': &[u8]
-    [74; 77) ''c'': char
-    [83; 87) 'b'b'': u8
-    [93; 97) '3.14': f64
-    [103; 107) '5000': i32
-    [113; 118) 'false': bool
-    [124; 128) 'true': bool
-    [134; 202) 'r#"   ...    "#': &str
-    [208; 218) 'br#"yolo"#': &[u8]
+    11..221 '{     ...o"#; }': ()
+    17..21 '5i32': i32
+    27..31 '5f32': f32
+    37..41 '5f64': f64
+    47..54 '"hello"': &str
+    60..68 'b"bytes"': &[u8]
+    74..77 ''c'': char
+    83..87 'b'b'': u8
+    93..97 '3.14': f64
+    103..107 '5000': i32
+    113..118 'false': bool
+    124..128 'true': bool
+    134..202 'r#"   ...    "#': &str
+    208..218 'br#"yolo"#': &[u8]
     "###
     );
 }
@@ -452,47 +452,47 @@ fn test(x: SomeType) {
 }
 "#),
         @r###"
-    [27; 28) 'x': SomeType
-    [40; 272) '{     ...lo"; }': ()
-    [50; 51) 'b': bool
-    [54; 59) 'false': bool
-    [69; 70) 'c': bool
-    [73; 75) '!b': bool
-    [74; 75) 'b': bool
-    [85; 86) 'a': i128
-    [89; 92) '100': i128
-    [102; 103) 'd': i128
-    [112; 114) '-a': i128
-    [113; 114) 'a': i128
-    [124; 125) 'e': i32
-    [128; 132) '-100': i32
-    [129; 132) '100': i32
-    [142; 143) 'f': bool
-    [146; 153) '!!!true': bool
-    [147; 153) '!!true': bool
-    [148; 153) '!true': bool
-    [149; 153) 'true': bool
-    [163; 164) 'g': i32
-    [167; 170) '!42': i32
-    [168; 170) '42': i32
-    [180; 181) 'h': u32
-    [184; 190) '!10u32': u32
-    [185; 190) '10u32': u32
-    [200; 201) 'j': i128
-    [204; 206) '!a': i128
-    [205; 206) 'a': i128
-    [212; 217) '-3.14': f64
-    [213; 217) '3.14': f64
-    [223; 225) '!3': i32
-    [224; 225) '3': i32
-    [231; 233) '-x': {unknown}
-    [232; 233) 'x': SomeType
-    [239; 241) '!x': {unknown}
-    [240; 241) 'x': SomeType
-    [247; 255) '-"hello"': {unknown}
-    [248; 255) '"hello"': &str
-    [261; 269) '!"hello"': {unknown}
-    [262; 269) '"hello"': &str
+    27..28 'x': SomeType
+    40..272 '{     ...lo"; }': ()
+    50..51 'b': bool
+    54..59 'false': bool
+    69..70 'c': bool
+    73..75 '!b': bool
+    74..75 'b': bool
+    85..86 'a': i128
+    89..92 '100': i128
+    102..103 'd': i128
+    112..114 '-a': i128
+    113..114 'a': i128
+    124..125 'e': i32
+    128..132 '-100': i32
+    129..132 '100': i32
+    142..143 'f': bool
+    146..153 '!!!true': bool
+    147..153 '!!true': bool
+    148..153 '!true': bool
+    149..153 'true': bool
+    163..164 'g': i32
+    167..170 '!42': i32
+    168..170 '42': i32
+    180..181 'h': u32
+    184..190 '!10u32': u32
+    185..190 '10u32': u32
+    200..201 'j': i128
+    204..206 '!a': i128
+    205..206 'a': i128
+    212..217 '-3.14': f64
+    213..217 '3.14': f64
+    223..225 '!3': i32
+    224..225 '3': i32
+    231..233 '-x': {unknown}
+    232..233 'x': SomeType
+    239..241 '!x': {unknown}
+    240..241 'x': SomeType
+    247..255 '-"hello"': {unknown}
+    248..255 '"hello"': &str
+    261..269 '!"hello"': {unknown}
+    262..269 '"hello"': &str
     "###
     );
 }
@@ -515,26 +515,26 @@ fn test() -> &mut &f64 {
 }
 "#),
         @r###"
-    [14; 15) 'x': u32
-    [22; 24) '{}': ()
-    [78; 231) '{     ...t &c }': &mut &f64
-    [88; 89) 'a': u32
-    [92; 108) 'unknow...nction': {unknown}
-    [92; 110) 'unknow...tion()': u32
-    [116; 125) 'takes_u32': fn takes_u32(u32)
-    [116; 128) 'takes_u32(a)': ()
-    [126; 127) 'a': u32
-    [138; 139) 'b': i32
-    [142; 158) 'unknow...nction': {unknown}
-    [142; 160) 'unknow...tion()': i32
-    [166; 184) 'S { i3...d: b }': S
-    [181; 182) 'b': i32
-    [194; 195) 'c': f64
-    [198; 214) 'unknow...nction': {unknown}
-    [198; 216) 'unknow...tion()': f64
-    [222; 229) '&mut &c': &mut &f64
-    [227; 229) '&c': &f64
-    [228; 229) 'c': f64
+    14..15 'x': u32
+    22..24 '{}': ()
+    78..231 '{     ...t &c }': &mut &f64
+    88..89 'a': u32
+    92..108 'unknow...nction': {unknown}
+    92..110 'unknow...tion()': u32
+    116..125 'takes_u32': fn takes_u32(u32)
+    116..128 'takes_u32(a)': ()
+    126..127 'a': u32
+    138..139 'b': i32
+    142..158 'unknow...nction': {unknown}
+    142..160 'unknow...tion()': i32
+    166..184 'S { i3...d: b }': S
+    181..182 'b': i32
+    194..195 'c': f64
+    198..214 'unknow...nction': {unknown}
+    198..216 'unknow...tion()': f64
+    222..229 '&mut &c': &mut &f64
+    227..229 '&c': &f64
+    228..229 'c': f64
     "###
     );
 }
@@ -561,16 +561,16 @@ impl S {
 }
 "#),
         @r###"
-    [34; 38) 'self': &S
-    [40; 61) '{     ...     }': ()
-    [50; 54) 'self': &S
-    [75; 79) 'self': &S
-    [88; 109) '{     ...     }': ()
-    [98; 102) 'self': &S
-    [133; 153) '{     ...     }': S
-    [143; 147) 'S {}': S
-    [177; 200) '{     ...     }': S
-    [187; 194) 'Self {}': S
+    34..38 'self': &S
+    40..61 '{     ...     }': ()
+    50..54 'self': &S
+    75..79 'self': &S
+    88..109 '{     ...     }': ()
+    98..102 'self': &S
+    133..153 '{     ...     }': S
+    143..147 'S {}': S
+    177..200 '{     ...     }': S
+    187..194 'Self {}': S
     "###
     );
 }
@@ -600,56 +600,56 @@ fn test() -> bool {
 }
 "#),
         @r###"
-    [6; 7) 'x': bool
-    [22; 34) '{     0i32 }': i32
-    [28; 32) '0i32': i32
-    [54; 370) '{     ... < 3 }': bool
-    [64; 65) 'x': bool
-    [68; 69) 'a': bool
-    [68; 74) 'a && b': bool
-    [73; 74) 'b': bool
-    [84; 85) 'y': bool
-    [88; 92) 'true': bool
-    [88; 101) 'true || false': bool
-    [96; 101) 'false': bool
-    [111; 112) 'z': bool
-    [115; 116) 'x': bool
-    [115; 121) 'x == y': bool
-    [120; 121) 'y': bool
-    [131; 132) 't': bool
-    [135; 136) 'x': bool
-    [135; 141) 'x != y': bool
-    [140; 141) 'y': bool
-    [151; 162) 'minus_forty': isize
-    [172; 180) '-40isize': isize
-    [173; 180) '40isize': isize
-    [190; 191) 'h': bool
-    [194; 205) 'minus_forty': isize
-    [194; 216) 'minus_...ONST_2': bool
-    [209; 216) 'CONST_2': isize
-    [226; 227) 'c': i32
-    [230; 231) 'f': fn f(bool) -> i32
-    [230; 239) 'f(z || y)': i32
-    [230; 243) 'f(z || y) + 5': i32
-    [232; 233) 'z': bool
-    [232; 238) 'z || y': bool
-    [237; 238) 'y': bool
-    [242; 243) '5': i32
-    [253; 254) 'd': {unknown}
-    [257; 258) 'b': {unknown}
-    [268; 269) 'g': ()
-    [272; 283) 'minus_forty': isize
-    [272; 288) 'minus_...y ^= i': ()
-    [287; 288) 'i': isize
-    [298; 301) 'ten': usize
-    [311; 313) '10': usize
-    [323; 336) 'ten_is_eleven': bool
-    [339; 342) 'ten': usize
-    [339; 354) 'ten == some_num': bool
-    [346; 354) 'some_num': usize
-    [361; 364) 'ten': usize
-    [361; 368) 'ten < 3': bool
-    [367; 368) '3': usize
+    6..7 'x': bool
+    22..34 '{     0i32 }': i32
+    28..32 '0i32': i32
+    54..370 '{     ... < 3 }': bool
+    64..65 'x': bool
+    68..69 'a': bool
+    68..74 'a && b': bool
+    73..74 'b': bool
+    84..85 'y': bool
+    88..92 'true': bool
+    88..101 'true || false': bool
+    96..101 'false': bool
+    111..112 'z': bool
+    115..116 'x': bool
+    115..121 'x == y': bool
+    120..121 'y': bool
+    131..132 't': bool
+    135..136 'x': bool
+    135..141 'x != y': bool
+    140..141 'y': bool
+    151..162 'minus_forty': isize
+    172..180 '-40isize': isize
+    173..180 '40isize': isize
+    190..191 'h': bool
+    194..205 'minus_forty': isize
+    194..216 'minus_...ONST_2': bool
+    209..216 'CONST_2': isize
+    226..227 'c': i32
+    230..231 'f': fn f(bool) -> i32
+    230..239 'f(z || y)': i32
+    230..243 'f(z || y) + 5': i32
+    232..233 'z': bool
+    232..238 'z || y': bool
+    237..238 'y': bool
+    242..243 '5': i32
+    253..254 'd': {unknown}
+    257..258 'b': {unknown}
+    268..269 'g': ()
+    272..283 'minus_forty': isize
+    272..288 'minus_...y ^= i': ()
+    287..288 'i': isize
+    298..301 'ten': usize
+    311..313 '10': usize
+    323..336 'ten_is_eleven': bool
+    339..342 'ten': usize
+    339..354 'ten == some_num': bool
+    346..354 'some_num': usize
+    361..364 'ten': usize
+    361..368 'ten < 3': bool
+    367..368 '3': usize
     "###
     );
 }
@@ -664,13 +664,13 @@ fn test() {
 }
 "#),
         @r###"
-    [11; 48) '{     ...5u8; }': ()
-    [17; 21) '1u32': u32
-    [17; 28) '1u32 << 5u8': u32
-    [25; 28) '5u8': u8
-    [34; 38) '1u32': u32
-    [34; 45) '1u32 >> 5u8': u32
-    [42; 45) '5u8': u8
+    11..48 '{     ...5u8; }': ()
+    17..21 '1u32': u32
+    17..28 '1u32 << 5u8': u32
+    25..28 '5u8': u8
+    34..38 '1u32': u32
+    34..45 '1u32 >> 5u8': u32
+    42..45 '5u8': u8
     "###
     );
 }
@@ -703,49 +703,49 @@ fn test2(a1: *const A, a2: *mut A) {
 }
 "#),
         @r###"
-    [44; 45) 'a': A
-    [50; 213) '{     ...5.b; }': ()
-    [60; 62) 'a1': A
-    [65; 66) 'a': A
-    [72; 74) 'a1': A
-    [72; 76) 'a1.b': B
-    [86; 88) 'a2': &A
-    [91; 93) '&a': &A
-    [92; 93) 'a': A
-    [99; 101) 'a2': &A
-    [99; 103) 'a2.b': B
-    [113; 115) 'a3': &mut A
-    [118; 124) '&mut a': &mut A
-    [123; 124) 'a': A
-    [130; 132) 'a3': &mut A
-    [130; 134) 'a3.b': B
-    [144; 146) 'a4': &&&&&&&A
-    [149; 157) '&&&&&&&a': &&&&&&&A
-    [150; 157) '&&&&&&a': &&&&&&A
-    [151; 157) '&&&&&a': &&&&&A
-    [152; 157) '&&&&a': &&&&A
-    [153; 157) '&&&a': &&&A
-    [154; 157) '&&a': &&A
-    [155; 157) '&a': &A
-    [156; 157) 'a': A
-    [163; 165) 'a4': &&&&&&&A
-    [163; 167) 'a4.b': B
-    [177; 179) 'a5': &mut &&mut &&mut A
-    [182; 200) '&mut &...&mut a': &mut &&mut &&mut A
-    [187; 200) '&&mut &&mut a': &&mut &&mut A
-    [188; 200) '&mut &&mut a': &mut &&mut A
-    [193; 200) '&&mut a': &&mut A
-    [194; 200) '&mut a': &mut A
-    [199; 200) 'a': A
-    [206; 208) 'a5': &mut &&mut &&mut A
-    [206; 210) 'a5.b': B
-    [224; 226) 'a1': *const A
-    [238; 240) 'a2': *mut A
-    [250; 273) '{     ...2.b; }': ()
-    [256; 258) 'a1': *const A
-    [256; 260) 'a1.b': B
-    [266; 268) 'a2': *mut A
-    [266; 270) 'a2.b': B
+    44..45 'a': A
+    50..213 '{     ...5.b; }': ()
+    60..62 'a1': A
+    65..66 'a': A
+    72..74 'a1': A
+    72..76 'a1.b': B
+    86..88 'a2': &A
+    91..93 '&a': &A
+    92..93 'a': A
+    99..101 'a2': &A
+    99..103 'a2.b': B
+    113..115 'a3': &mut A
+    118..124 '&mut a': &mut A
+    123..124 'a': A
+    130..132 'a3': &mut A
+    130..134 'a3.b': B
+    144..146 'a4': &&&&&&&A
+    149..157 '&&&&&&&a': &&&&&&&A
+    150..157 '&&&&&&a': &&&&&&A
+    151..157 '&&&&&a': &&&&&A
+    152..157 '&&&&a': &&&&A
+    153..157 '&&&a': &&&A
+    154..157 '&&a': &&A
+    155..157 '&a': &A
+    156..157 'a': A
+    163..165 'a4': &&&&&&&A
+    163..167 'a4.b': B
+    177..179 'a5': &mut &&mut &&mut A
+    182..200 '&mut &...&mut a': &mut &&mut &&mut A
+    187..200 '&&mut &&mut a': &&mut &&mut A
+    188..200 '&mut &&mut a': &mut &&mut A
+    193..200 '&&mut a': &&mut A
+    194..200 '&mut a': &mut A
+    199..200 'a': A
+    206..208 'a5': &mut &&mut &&mut A
+    206..210 'a5.b': B
+    224..226 'a1': *const A
+    238..240 'a2': *mut A
+    250..273 '{     ...2.b; }': ()
+    256..258 'a1': *const A
+    256..260 'a1.b': B
+    266..268 'a2': *mut A
+    266..270 'a2.b': B
     "###
     );
 }
@@ -782,30 +782,30 @@ fn test() {
 }
 "#),
         @r###"
-    [68; 72) 'self': &Self
-    [139; 143) 'self': &A<T>
-    [151; 174) '{     ...     }': &T
-    [161; 168) '&self.0': &T
-    [162; 166) 'self': &A<T>
-    [162; 168) 'self.0': T
-    [255; 259) 'self': &B<T>
-    [278; 301) '{     ...     }': &T
-    [288; 295) '&self.0': &T
-    [289; 293) 'self': &B<T>
-    [289; 295) 'self.0': T
-    [315; 353) '{     ...))); }': ()
-    [325; 326) 't': &i32
-    [329; 335) 'A::foo': fn foo<i32>(&A<i32>) -> &i32
-    [329; 350) 'A::foo...42))))': &i32
-    [336; 349) '&&B(B(A(42)))': &&B<B<A<i32>>>
-    [337; 349) '&B(B(A(42)))': &B<B<A<i32>>>
-    [338; 339) 'B': B<B<A<i32>>>(B<A<i32>>) -> B<B<A<i32>>>
-    [338; 349) 'B(B(A(42)))': B<B<A<i32>>>
-    [340; 341) 'B': B<A<i32>>(A<i32>) -> B<A<i32>>
-    [340; 348) 'B(A(42))': B<A<i32>>
-    [342; 343) 'A': A<i32>(i32) -> A<i32>
-    [342; 347) 'A(42)': A<i32>
-    [344; 346) '42': i32
+    68..72 'self': &Self
+    139..143 'self': &A<T>
+    151..174 '{     ...     }': &T
+    161..168 '&self.0': &T
+    162..166 'self': &A<T>
+    162..168 'self.0': T
+    255..259 'self': &B<T>
+    278..301 '{     ...     }': &T
+    288..295 '&self.0': &T
+    289..293 'self': &B<T>
+    289..295 'self.0': T
+    315..353 '{     ...))); }': ()
+    325..326 't': &i32
+    329..335 'A::foo': fn foo<i32>(&A<i32>) -> &i32
+    329..350 'A::foo...42))))': &i32
+    336..349 '&&B(B(A(42)))': &&B<B<A<i32>>>
+    337..349 '&B(B(A(42)))': &B<B<A<i32>>>
+    338..339 'B': B<B<A<i32>>>(B<A<i32>>) -> B<B<A<i32>>>
+    338..349 'B(B(A(42)))': B<B<A<i32>>>
+    340..341 'B': B<A<i32>>(A<i32>) -> B<A<i32>>
+    340..348 'B(A(42))': B<A<i32>>
+    342..343 'A': A<i32>(i32) -> A<i32>
+    342..347 'A(42)': A<i32>
+    344..346 '42': i32
     "###
     );
 }
@@ -842,34 +842,34 @@ fn test(a: A<i32>) {
 }
 "#),
         @r###"
-    [68; 72) 'self': &Self
-    [144; 148) 'self': &A<T>
-    [150; 151) 'x': &A<T>
-    [166; 187) '{     ...     }': &T
-    [176; 181) '&*x.0': &T
-    [177; 181) '*x.0': T
-    [178; 179) 'x': &A<T>
-    [178; 181) 'x.0': *mut T
-    [268; 272) 'self': &B<T>
-    [291; 314) '{     ...     }': &T
-    [301; 308) '&self.0': &T
-    [302; 306) 'self': &B<T>
-    [302; 308) 'self.0': T
-    [326; 327) 'a': A<i32>
-    [337; 383) '{     ...))); }': ()
-    [347; 348) 't': &i32
-    [351; 352) 'A': A<i32>(*mut i32) -> A<i32>
-    [351; 365) 'A(0 as *mut _)': A<i32>
-    [351; 380) 'A(0 as...B(a)))': &i32
-    [353; 354) '0': i32
-    [353; 364) '0 as *mut _': *mut i32
-    [370; 379) '&&B(B(a))': &&B<B<A<i32>>>
-    [371; 379) '&B(B(a))': &B<B<A<i32>>>
-    [372; 373) 'B': B<B<A<i32>>>(B<A<i32>>) -> B<B<A<i32>>>
-    [372; 379) 'B(B(a))': B<B<A<i32>>>
-    [374; 375) 'B': B<A<i32>>(A<i32>) -> B<A<i32>>
-    [374; 378) 'B(a)': B<A<i32>>
-    [376; 377) 'a': A<i32>
+    68..72 'self': &Self
+    144..148 'self': &A<T>
+    150..151 'x': &A<T>
+    166..187 '{     ...     }': &T
+    176..181 '&*x.0': &T
+    177..181 '*x.0': T
+    178..179 'x': &A<T>
+    178..181 'x.0': *mut T
+    268..272 'self': &B<T>
+    291..314 '{     ...     }': &T
+    301..308 '&self.0': &T
+    302..306 'self': &B<T>
+    302..308 'self.0': T
+    326..327 'a': A<i32>
+    337..383 '{     ...))); }': ()
+    347..348 't': &i32
+    351..352 'A': A<i32>(*mut i32) -> A<i32>
+    351..365 'A(0 as *mut _)': A<i32>
+    351..380 'A(0 as...B(a)))': &i32
+    353..354 '0': i32
+    353..364 '0 as *mut _': *mut i32
+    370..379 '&&B(B(a))': &&B<B<A<i32>>>
+    371..379 '&B(B(a))': &B<B<A<i32>>>
+    372..373 'B': B<B<A<i32>>>(B<A<i32>>) -> B<B<A<i32>>>
+    372..379 'B(B(a))': B<B<A<i32>>>
+    374..375 'B': B<A<i32>>(A<i32>) -> B<A<i32>>
+    374..378 'B(a)': B<A<i32>>
+    376..377 'a': A<i32>
     "###
     );
 }
@@ -888,16 +888,16 @@ fn main(foo: Foo) {
 }
 "#),
         @r###"
-    [35; 38) 'foo': Foo
-    [45; 109) '{     ...   } }': ()
-    [51; 107) 'if tru...     }': ()
-    [54; 58) 'true': bool
-    [59; 67) '{      }': ()
-    [73; 107) 'if fal...     }': ()
-    [76; 81) 'false': bool
-    [82; 107) '{     ...     }': i32
-    [92; 95) 'foo': Foo
-    [92; 101) 'foo.field': i32
+    35..38 'foo': Foo
+    45..109 '{     ...   } }': ()
+    51..107 'if tru...     }': ()
+    54..58 'true': bool
+    59..67 '{      }': ()
+    73..107 'if fal...     }': ()
+    76..81 'false': bool
+    82..107 '{     ...     }': i32
+    92..95 'foo': Foo
+    92..101 'foo.field': i32
     "###
     )
 }
@@ -929,38 +929,38 @@ fn foo() {
     };
 }"#),
         @r###"
-    [10; 323) '{     ...  }; }': ()
-    [20; 23) '_x1': i32
-    [26; 80) 'if tru...     }': i32
-    [29; 33) 'true': bool
-    [34; 51) '{     ...     }': i32
-    [44; 45) '1': i32
-    [57; 80) '{     ...     }': !
-    [67; 73) 'return': !
-    [90; 93) '_x2': i32
-    [96; 149) 'if tru...     }': i32
-    [99; 103) 'true': bool
-    [104; 121) '{     ...     }': i32
-    [114; 115) '2': i32
-    [127; 149) '{     ...     }': !
-    [137; 143) 'return': !
-    [159; 162) '_x3': i32
-    [165; 247) 'match ...     }': i32
-    [171; 175) 'true': bool
-    [186; 190) 'true': bool
-    [186; 190) 'true': bool
-    [194; 195) '3': i32
-    [205; 206) '_': bool
-    [210; 241) '{     ...     }': !
-    [224; 230) 'return': !
-    [257; 260) '_x4': i32
-    [263; 320) 'match ...     }': i32
-    [269; 273) 'true': bool
-    [284; 288) 'true': bool
-    [284; 288) 'true': bool
-    [292; 293) '4': i32
-    [303; 304) '_': bool
-    [308; 314) 'return': !
+    10..323 '{     ...  }; }': ()
+    20..23 '_x1': i32
+    26..80 'if tru...     }': i32
+    29..33 'true': bool
+    34..51 '{     ...     }': i32
+    44..45 '1': i32
+    57..80 '{     ...     }': !
+    67..73 'return': !
+    90..93 '_x2': i32
+    96..149 'if tru...     }': i32
+    99..103 'true': bool
+    104..121 '{     ...     }': i32
+    114..115 '2': i32
+    127..149 '{     ...     }': !
+    137..143 'return': !
+    159..162 '_x3': i32
+    165..247 'match ...     }': i32
+    171..175 'true': bool
+    186..190 'true': bool
+    186..190 'true': bool
+    194..195 '3': i32
+    205..206 '_': bool
+    210..241 '{     ...     }': !
+    224..230 'return': !
+    257..260 '_x4': i32
+    263..320 'match ...     }': i32
+    269..273 'true': bool
+    284..288 'true': bool
+    284..288 'true': bool
+    292..293 '4': i32
+    303..304 '_': bool
+    308..314 'return': !
     "###
     )
 }
@@ -988,24 +988,24 @@ fn test(a: A) {
 }
 "#),
         @r###"
-    [32; 36) 'self': A
-    [38; 39) 'x': u32
-    [53; 55) '{}': ()
-    [103; 107) 'self': &A
-    [109; 110) 'x': u64
-    [124; 126) '{}': ()
-    [144; 145) 'a': A
-    [150; 198) '{     ...(1); }': ()
-    [156; 157) 'a': A
-    [156; 164) 'a.foo(1)': i32
-    [162; 163) '1': u32
-    [170; 181) '(&a).bar(1)': i64
-    [171; 173) '&a': &A
-    [172; 173) 'a': A
-    [179; 180) '1': u64
-    [187; 188) 'a': A
-    [187; 195) 'a.bar(1)': i64
-    [193; 194) '1': u64
+    32..36 'self': A
+    38..39 'x': u32
+    53..55 '{}': ()
+    103..107 'self': &A
+    109..110 'x': u64
+    124..126 '{}': ()
+    144..145 'a': A
+    150..198 '{     ...(1); }': ()
+    156..157 'a': A
+    156..164 'a.foo(1)': i32
+    162..163 '1': u32
+    170..181 '(&a).bar(1)': i64
+    171..173 '&a': &A
+    172..173 'a': A
+    179..180 '1': u64
+    187..188 'a': A
+    187..195 'a.bar(1)': i64
+    193..194 '1': u64
     "###
     );
 }
@@ -1024,11 +1024,11 @@ fn test() {
 }
 "#),
         @r###"
-    [40; 44) 'self': &str
-    [53; 55) '{}': ()
-    [69; 89) '{     ...o(); }': ()
-    [75; 80) '"foo"': &str
-    [75; 86) '"foo".foo()': i32
+    40..44 'self': &str
+    53..55 '{}': ()
+    69..89 '{     ...o(); }': ()
+    75..80 '"foo"': &str
+    75..86 '"foo".foo()': i32
     "###
     );
 }
@@ -1047,33 +1047,33 @@ fn test(x: &str, y: isize) {
 }
 "#),
         @r###"
-    [9; 10) 'x': &str
-    [18; 19) 'y': isize
-    [28; 170) '{     ...d"); }': ()
-    [38; 39) 'a': (u32, &str)
-    [55; 63) '(1, "a")': (u32, &str)
-    [56; 57) '1': u32
-    [59; 62) '"a"': &str
-    [73; 74) 'b': ((u32, &str), &str)
-    [77; 83) '(a, x)': ((u32, &str), &str)
-    [78; 79) 'a': (u32, &str)
-    [81; 82) 'x': &str
-    [93; 94) 'c': (isize, &str)
-    [97; 103) '(y, x)': (isize, &str)
-    [98; 99) 'y': isize
-    [101; 102) 'x': &str
-    [113; 114) 'd': ((isize, &str), &str)
-    [117; 123) '(c, x)': ((isize, &str), &str)
-    [118; 119) 'c': (isize, &str)
-    [121; 122) 'x': &str
-    [133; 134) 'e': (i32, &str)
-    [137; 145) '(1, "e")': (i32, &str)
-    [138; 139) '1': i32
-    [141; 144) '"e"': &str
-    [155; 156) 'f': ((i32, &str), &str)
-    [159; 167) '(e, "d")': ((i32, &str), &str)
-    [160; 161) 'e': (i32, &str)
-    [163; 166) '"d"': &str
+    9..10 'x': &str
+    18..19 'y': isize
+    28..170 '{     ...d"); }': ()
+    38..39 'a': (u32, &str)
+    55..63 '(1, "a")': (u32, &str)
+    56..57 '1': u32
+    59..62 '"a"': &str
+    73..74 'b': ((u32, &str), &str)
+    77..83 '(a, x)': ((u32, &str), &str)
+    78..79 'a': (u32, &str)
+    81..82 'x': &str
+    93..94 'c': (isize, &str)
+    97..103 '(y, x)': (isize, &str)
+    98..99 'y': isize
+    101..102 'x': &str
+    113..114 'd': ((isize, &str), &str)
+    117..123 '(c, x)': ((isize, &str), &str)
+    118..119 'c': (isize, &str)
+    121..122 'x': &str
+    133..134 'e': (i32, &str)
+    137..145 '(1, "e")': (i32, &str)
+    138..139 '1': i32
+    141..144 '"e"': &str
+    155..156 'f': ((i32, &str), &str)
+    159..167 '(e, "d")': ((i32, &str), &str)
+    160..161 'e': (i32, &str)
+    163..166 '"d"': &str
     "###
     );
 }
@@ -1101,58 +1101,58 @@ fn test(x: &str, y: isize) {
 }
 "#),
         @r###"
-    [9; 10) 'x': &str
-    [18; 19) 'y': isize
-    [28; 293) '{     ... []; }': ()
-    [38; 39) 'a': [&str; _]
-    [42; 45) '[x]': [&str; _]
-    [43; 44) 'x': &str
-    [55; 56) 'b': [[&str; _]; _]
-    [59; 65) '[a, a]': [[&str; _]; _]
-    [60; 61) 'a': [&str; _]
-    [63; 64) 'a': [&str; _]
-    [75; 76) 'c': [[[&str; _]; _]; _]
-    [79; 85) '[b, b]': [[[&str; _]; _]; _]
-    [80; 81) 'b': [[&str; _]; _]
-    [83; 84) 'b': [[&str; _]; _]
-    [96; 97) 'd': [isize; _]
-    [100; 112) '[y, 1, 2, 3]': [isize; _]
-    [101; 102) 'y': isize
-    [104; 105) '1': isize
-    [107; 108) '2': isize
-    [110; 111) '3': isize
-    [122; 123) 'd': [isize; _]
-    [126; 138) '[1, y, 2, 3]': [isize; _]
-    [127; 128) '1': isize
-    [130; 131) 'y': isize
-    [133; 134) '2': isize
-    [136; 137) '3': isize
-    [148; 149) 'e': [isize; _]
-    [152; 155) '[y]': [isize; _]
-    [153; 154) 'y': isize
-    [165; 166) 'f': [[isize; _]; _]
-    [169; 175) '[d, d]': [[isize; _]; _]
-    [170; 171) 'd': [isize; _]
-    [173; 174) 'd': [isize; _]
-    [185; 186) 'g': [[isize; _]; _]
-    [189; 195) '[e, e]': [[isize; _]; _]
-    [190; 191) 'e': [isize; _]
-    [193; 194) 'e': [isize; _]
-    [206; 207) 'h': [i32; _]
-    [210; 216) '[1, 2]': [i32; _]
-    [211; 212) '1': i32
-    [214; 215) '2': i32
-    [226; 227) 'i': [&str; _]
-    [230; 240) '["a", "b"]': [&str; _]
-    [231; 234) '"a"': &str
-    [236; 239) '"b"': &str
-    [251; 252) 'b': [[&str; _]; _]
-    [255; 265) '[a, ["b"]]': [[&str; _]; _]
-    [256; 257) 'a': [&str; _]
-    [259; 264) '["b"]': [&str; _]
-    [260; 263) '"b"': &str
-    [275; 276) 'x': [u8; _]
-    [288; 290) '[]': [u8; _]
+    9..10 'x': &str
+    18..19 'y': isize
+    28..293 '{     ... []; }': ()
+    38..39 'a': [&str; _]
+    42..45 '[x]': [&str; _]
+    43..44 'x': &str
+    55..56 'b': [[&str; _]; _]
+    59..65 '[a, a]': [[&str; _]; _]
+    60..61 'a': [&str; _]
+    63..64 'a': [&str; _]
+    75..76 'c': [[[&str; _]; _]; _]
+    79..85 '[b, b]': [[[&str; _]; _]; _]
+    80..81 'b': [[&str; _]; _]
+    83..84 'b': [[&str; _]; _]
+    96..97 'd': [isize; _]
+    100..112 '[y, 1, 2, 3]': [isize; _]
+    101..102 'y': isize
+    104..105 '1': isize
+    107..108 '2': isize
+    110..111 '3': isize
+    122..123 'd': [isize; _]
+    126..138 '[1, y, 2, 3]': [isize; _]
+    127..128 '1': isize
+    130..131 'y': isize
+    133..134 '2': isize
+    136..137 '3': isize
+    148..149 'e': [isize; _]
+    152..155 '[y]': [isize; _]
+    153..154 'y': isize
+    165..166 'f': [[isize; _]; _]
+    169..175 '[d, d]': [[isize; _]; _]
+    170..171 'd': [isize; _]
+    173..174 'd': [isize; _]
+    185..186 'g': [[isize; _]; _]
+    189..195 '[e, e]': [[isize; _]; _]
+    190..191 'e': [isize; _]
+    193..194 'e': [isize; _]
+    206..207 'h': [i32; _]
+    210..216 '[1, 2]': [i32; _]
+    211..212 '1': i32
+    214..215 '2': i32
+    226..227 'i': [&str; _]
+    230..240 '["a", "b"]': [&str; _]
+    231..234 '"a"': &str
+    236..239 '"b"': &str
+    251..252 'b': [[&str; _]; _]
+    255..265 '[a, ["b"]]': [[&str; _]; _]
+    256..257 'a': [&str; _]
+    259..264 '["b"]': [&str; _]
+    260..263 '"b"': &str
+    275..276 'x': [u8; _]
+    288..290 '[]': [u8; _]
     "###
     );
 }
@@ -1174,21 +1174,21 @@ fn test(a1: A<u32>, i: i32) {
 }
 "#),
         @r###"
-    [36; 38) 'a1': A<u32>
-    [48; 49) 'i': i32
-    [56; 147) '{     ...3.x; }': ()
-    [62; 64) 'a1': A<u32>
-    [62; 66) 'a1.x': u32
-    [76; 78) 'a2': A<i32>
-    [81; 91) 'A { x: i }': A<i32>
-    [88; 89) 'i': i32
-    [97; 99) 'a2': A<i32>
-    [97; 101) 'a2.x': i32
-    [111; 113) 'a3': A<i128>
-    [116; 134) 'A::<i1...x: 1 }': A<i128>
-    [131; 132) '1': i128
-    [140; 142) 'a3': A<i128>
-    [140; 144) 'a3.x': i128
+    36..38 'a1': A<u32>
+    48..49 'i': i32
+    56..147 '{     ...3.x; }': ()
+    62..64 'a1': A<u32>
+    62..66 'a1.x': u32
+    76..78 'a2': A<i32>
+    81..91 'A { x: i }': A<i32>
+    88..89 'i': i32
+    97..99 'a2': A<i32>
+    97..101 'a2.x': i32
+    111..113 'a3': A<i128>
+    116..134 'A::<i1...x: 1 }': A<i128>
+    131..132 '1': i128
+    140..142 'a3': A<i128>
+    140..144 'a3.x': i128
     "###
     );
 }
@@ -1211,22 +1211,22 @@ fn test() {
 }
 "#),
         @r###"
-    [76; 184) '{     ...one; }': ()
-    [82; 83) 'A': A<i32>(i32) -> A<i32>
-    [82; 87) 'A(42)': A<i32>
-    [84; 86) '42': i32
-    [93; 94) 'A': A<u128>(u128) -> A<u128>
-    [93; 102) 'A(42u128)': A<u128>
-    [95; 101) '42u128': u128
-    [108; 112) 'Some': Some<&str>(&str) -> Option<&str>
-    [108; 117) 'Some("x")': Option<&str>
-    [113; 116) '"x"': &str
-    [123; 135) 'Option::Some': Some<&str>(&str) -> Option<&str>
-    [123; 140) 'Option...e("x")': Option<&str>
-    [136; 139) '"x"': &str
-    [146; 150) 'None': Option<{unknown}>
-    [160; 161) 'x': Option<i64>
-    [177; 181) 'None': Option<i64>
+    76..184 '{     ...one; }': ()
+    82..83 'A': A<i32>(i32) -> A<i32>
+    82..87 'A(42)': A<i32>
+    84..86 '42': i32
+    93..94 'A': A<u128>(u128) -> A<u128>
+    93..102 'A(42u128)': A<u128>
+    95..101 '42u128': u128
+    108..112 'Some': Some<&str>(&str) -> Option<&str>
+    108..117 'Some("x")': Option<&str>
+    113..116 '"x"': &str
+    123..135 'Option::Some': Some<&str>(&str) -> Option<&str>
+    123..140 'Option...e("x")': Option<&str>
+    136..139 '"x"': &str
+    146..150 'None': Option<{unknown}>
+    160..161 'x': Option<i64>
+    177..181 'None': Option<i64>
     "###
     );
 }
@@ -1244,20 +1244,20 @@ fn test() {
 }
 "#),
         @r###"
-    [10; 11) 't': T
-    [21; 26) '{ t }': T
-    [23; 24) 't': T
-    [38; 98) '{     ...(1); }': ()
-    [44; 46) 'id': fn id<u32>(u32) -> u32
-    [44; 52) 'id(1u32)': u32
-    [47; 51) '1u32': u32
-    [58; 68) 'id::<i128>': fn id<i128>(i128) -> i128
-    [58; 71) 'id::<i128>(1)': i128
-    [69; 70) '1': i128
-    [81; 82) 'x': u64
-    [90; 92) 'id': fn id<u64>(u64) -> u64
-    [90; 95) 'id(1)': u64
-    [93; 94) '1': u64
+    10..11 't': T
+    21..26 '{ t }': T
+    23..24 't': T
+    38..98 '{     ...(1); }': ()
+    44..46 'id': fn id<u32>(u32) -> u32
+    44..52 'id(1u32)': u32
+    47..51 '1u32': u32
+    58..68 'id::<i128>': fn id<i128>(i128) -> i128
+    58..71 'id::<i128>(1)': i128
+    69..70 '1': i128
+    81..82 'x': u64
+    90..92 'id': fn id<u64>(u64) -> u64
+    90..95 'id(1)': u64
+    93..94 '1': u64
     "###
     );
 }
@@ -1291,38 +1291,38 @@ fn test() -> i128 {
 }
 "#),
         @r###"
-    [74; 78) 'self': A<X, Y>
-    [85; 107) '{     ...     }': X
-    [95; 99) 'self': A<X, Y>
-    [95; 101) 'self.x': X
-    [117; 121) 'self': A<X, Y>
-    [128; 150) '{     ...     }': Y
-    [138; 142) 'self': A<X, Y>
-    [138; 144) 'self.y': Y
-    [163; 167) 'self': A<X, Y>
-    [169; 170) 't': T
-    [188; 223) '{     ...     }': (X, Y, T)
-    [198; 217) '(self.....y, t)': (X, Y, T)
-    [199; 203) 'self': A<X, Y>
-    [199; 205) 'self.x': X
-    [207; 211) 'self': A<X, Y>
-    [207; 213) 'self.y': Y
-    [215; 216) 't': T
-    [245; 342) '{     ...(1); }': ()
-    [255; 256) 'a': A<u64, i64>
-    [259; 281) 'A { x:...1i64 }': A<u64, i64>
-    [266; 270) '1u64': u64
-    [275; 279) '1i64': i64
-    [287; 288) 'a': A<u64, i64>
-    [287; 292) 'a.x()': u64
-    [298; 299) 'a': A<u64, i64>
-    [298; 303) 'a.y()': i64
-    [309; 310) 'a': A<u64, i64>
-    [309; 319) 'a.z(1i128)': (u64, i64, i128)
-    [313; 318) '1i128': i128
-    [325; 326) 'a': A<u64, i64>
-    [325; 339) 'a.z::<u128>(1)': (u64, i64, u128)
-    [337; 338) '1': u128
+    74..78 'self': A<X, Y>
+    85..107 '{     ...     }': X
+    95..99 'self': A<X, Y>
+    95..101 'self.x': X
+    117..121 'self': A<X, Y>
+    128..150 '{     ...     }': Y
+    138..142 'self': A<X, Y>
+    138..144 'self.y': Y
+    163..167 'self': A<X, Y>
+    169..170 't': T
+    188..223 '{     ...     }': (X, Y, T)
+    198..217 '(self.....y, t)': (X, Y, T)
+    199..203 'self': A<X, Y>
+    199..205 'self.x': X
+    207..211 'self': A<X, Y>
+    207..213 'self.y': Y
+    215..216 't': T
+    245..342 '{     ...(1); }': ()
+    255..256 'a': A<u64, i64>
+    259..281 'A { x:...1i64 }': A<u64, i64>
+    266..270 '1u64': u64
+    275..279 '1i64': i64
+    287..288 'a': A<u64, i64>
+    287..292 'a.x()': u64
+    298..299 'a': A<u64, i64>
+    298..303 'a.y()': i64
+    309..310 'a': A<u64, i64>
+    309..319 'a.z(1i128)': (u64, i64, i128)
+    313..318 '1i128': i128
+    325..326 'a': A<u64, i64>
+    325..339 'a.z::<u128>(1)': (u64, i64, u128)
+    337..338 '1': u128
     "###
     );
 }
@@ -1344,15 +1344,15 @@ fn test(o: Option<u32>) {
 }
 "#),
         @r###"
-    [78; 82) 'self': &Option<T>
-    [98; 100) '{}': ()
-    [111; 112) 'o': Option<u32>
-    [127; 165) '{     ...f(); }': ()
-    [133; 146) '(&o).as_ref()': Option<&u32>
-    [134; 136) '&o': &Option<u32>
-    [135; 136) 'o': Option<u32>
-    [152; 153) 'o': Option<u32>
-    [152; 162) 'o.as_ref()': Option<&u32>
+    78..82 'self': &Option<T>
+    98..100 '{}': ()
+    111..112 'o': Option<u32>
+    127..165 '{     ...f(); }': ()
+    133..146 '(&o).as_ref()': Option<&u32>
+    134..136 '&o': &Option<u32>
+    135..136 'o': Option<u32>
+    152..153 'o': Option<u32>
+    152..162 'o.as_ref()': Option<&u32>
     "###
     );
 }
@@ -1381,35 +1381,35 @@ fn test() -> i128 {
 }
 "#),
         @r###"
-    [53; 57) 'self': A<T2>
-    [65; 87) '{     ...     }': T2
-    [75; 79) 'self': A<T2>
-    [75; 81) 'self.x': T2
-    [99; 100) 't': T
-    [110; 115) '{ t }': T
-    [112; 113) 't': T
-    [135; 261) '{     ....x() }': i128
-    [146; 147) 'x': i128
-    [150; 151) '1': i128
-    [162; 163) 'y': i128
-    [166; 168) 'id': fn id<i128>(i128) -> i128
-    [166; 171) 'id(x)': i128
-    [169; 170) 'x': i128
-    [182; 183) 'a': A<i128>
-    [186; 200) 'A { x: id(y) }': A<i128>
-    [193; 195) 'id': fn id<i128>(i128) -> i128
-    [193; 198) 'id(y)': i128
-    [196; 197) 'y': i128
-    [211; 212) 'z': i128
-    [215; 217) 'id': fn id<i128>(i128) -> i128
-    [215; 222) 'id(a.x)': i128
-    [218; 219) 'a': A<i128>
-    [218; 221) 'a.x': i128
-    [233; 234) 'b': A<i128>
-    [237; 247) 'A { x: z }': A<i128>
-    [244; 245) 'z': i128
-    [254; 255) 'b': A<i128>
-    [254; 259) 'b.x()': i128
+    53..57 'self': A<T2>
+    65..87 '{     ...     }': T2
+    75..79 'self': A<T2>
+    75..81 'self.x': T2
+    99..100 't': T
+    110..115 '{ t }': T
+    112..113 't': T
+    135..261 '{     ....x() }': i128
+    146..147 'x': i128
+    150..151 '1': i128
+    162..163 'y': i128
+    166..168 'id': fn id<i128>(i128) -> i128
+    166..171 'id(x)': i128
+    169..170 'x': i128
+    182..183 'a': A<i128>
+    186..200 'A { x: id(y) }': A<i128>
+    193..195 'id': fn id<i128>(i128) -> i128
+    193..198 'id(y)': i128
+    196..197 'y': i128
+    211..212 'z': i128
+    215..217 'id': fn id<i128>(i128) -> i128
+    215..222 'id(a.x)': i128
+    218..219 'a': A<i128>
+    218..221 'a.x': i128
+    233..234 'b': A<i128>
+    237..247 'A { x: z }': A<i128>
+    244..245 'z': i128
+    254..255 'b': A<i128>
+    254..259 'b.x()': i128
     "###
     );
 }
@@ -1447,16 +1447,16 @@ fn test() {
 }
 "#),
         @r###"
-    [52; 53) '1': u32
-    [105; 106) '2': u32
-    [213; 214) '5': u32
-    [229; 307) '{     ...:ID; }': ()
-    [239; 240) 'x': u32
-    [243; 254) 'Struct::FOO': u32
-    [264; 265) 'y': u32
-    [268; 277) 'Enum::BAR': u32
-    [287; 288) 'z': u32
-    [291; 304) 'TraitTest::ID': u32
+    52..53 '1': u32
+    105..106 '2': u32
+    213..214 '5': u32
+    229..307 '{     ...:ID; }': ()
+    239..240 'x': u32
+    243..254 'Struct::FOO': u32
+    264..265 'y': u32
+    268..277 'Enum::BAR': u32
+    287..288 'z': u32
+    291..304 'TraitTest::ID': u32
     "###
     );
 }
@@ -1479,22 +1479,22 @@ fn test(x: Foo, y: Bar<&str>, z: Baz<i8, u8>) {
 }
 "#),
         @r###"
-    [116; 117) 'x': A<u32, i128>
-    [124; 125) 'y': A<&str, u128>
-    [138; 139) 'z': A<u8, i8>
-    [154; 211) '{     ...z.y; }': ()
-    [160; 161) 'x': A<u32, i128>
-    [160; 163) 'x.x': u32
-    [169; 170) 'x': A<u32, i128>
-    [169; 172) 'x.y': i128
-    [178; 179) 'y': A<&str, u128>
-    [178; 181) 'y.x': &str
-    [187; 188) 'y': A<&str, u128>
-    [187; 190) 'y.y': u128
-    [196; 197) 'z': A<u8, i8>
-    [196; 199) 'z.x': u8
-    [205; 206) 'z': A<u8, i8>
-    [205; 208) 'z.y': i8
+    116..117 'x': A<u32, i128>
+    124..125 'y': A<&str, u128>
+    138..139 'z': A<u8, i8>
+    154..211 '{     ...z.y; }': ()
+    160..161 'x': A<u32, i128>
+    160..163 'x.x': u32
+    169..170 'x': A<u32, i128>
+    169..172 'x.y': i128
+    178..179 'y': A<&str, u128>
+    178..181 'y.x': &str
+    187..188 'y': A<&str, u128>
+    187..190 'y.y': u128
+    196..197 'z': A<u8, i8>
+    196..199 'z.x': u8
+    205..206 'z': A<u8, i8>
+    205..208 'z.y': i8
     "###
     )
 }
@@ -1509,8 +1509,8 @@ type Bar = A<Bar>;
 fn test(x: Foo) {}
 "#),
         @r###"
-    [59; 60) 'x': {unknown}
-    [67; 69) '{}': ()
+    59..60 'x': {unknown}
+    67..69 '{}': ()
     "###
     )
 }
@@ -1535,26 +1535,26 @@ fn test() {
 }
 "#),
         @r###"
-    [10; 11) 'x': T
-    [21; 30) '{     x }': T
-    [27; 28) 'x': T
-    [44; 45) 'x': &T
-    [56; 66) '{     *x }': T
-    [62; 64) '*x': T
-    [63; 64) 'x': &T
-    [78; 158) '{     ...(1); }': ()
-    [88; 89) 'y': u32
-    [92; 97) '10u32': u32
-    [103; 105) 'id': fn id<u32>(u32) -> u32
-    [103; 108) 'id(y)': u32
-    [106; 107) 'y': u32
-    [118; 119) 'x': bool
-    [128; 133) 'clone': fn clone<bool>(&bool) -> bool
-    [128; 136) 'clone(z)': bool
-    [134; 135) 'z': &bool
-    [142; 152) 'id::<i128>': fn id<i128>(i128) -> i128
-    [142; 155) 'id::<i128>(1)': i128
-    [153; 154) '1': i128
+    10..11 'x': T
+    21..30 '{     x }': T
+    27..28 'x': T
+    44..45 'x': &T
+    56..66 '{     *x }': T
+    62..64 '*x': T
+    63..64 'x': &T
+    78..158 '{     ...(1); }': ()
+    88..89 'y': u32
+    92..97 '10u32': u32
+    103..105 'id': fn id<u32>(u32) -> u32
+    103..108 'id(y)': u32
+    106..107 'y': u32
+    118..119 'x': bool
+    128..133 'clone': fn clone<bool>(&bool) -> bool
+    128..136 'clone(z)': bool
+    134..135 'z': &bool
+    142..152 'id::<i128>': fn id<i128>(i128) -> i128
+    142..155 'id::<i128>(1)': i128
+    153..154 '1': i128
     "###
     );
 }
@@ -1574,16 +1574,16 @@ fn test() {
 }
 "#),
         @r###"
-    [49; 50) '0': u32
-    [80; 83) '101': u32
-    [95; 213) '{     ...NST; }': ()
-    [138; 139) 'x': u32
-    [142; 153) 'LOCAL_CONST': u32
-    [163; 164) 'z': u32
-    [167; 179) 'GLOBAL_CONST': u32
-    [189; 191) 'id': u32
-    [194; 210) 'Foo::A..._CONST': u32
-    [126; 128) '99': u32
+    49..50 '0': u32
+    80..83 '101': u32
+    95..213 '{     ...NST; }': ()
+    138..139 'x': u32
+    142..153 'LOCAL_CONST': u32
+    163..164 'z': u32
+    167..179 'GLOBAL_CONST': u32
+    189..191 'id': u32
+    194..210 'Foo::A..._CONST': u32
+    126..128 '99': u32
     "###
     );
 }
@@ -1604,19 +1604,19 @@ fn test() {
 }
 "#),
         @r###"
-    [29; 32) '101': u32
-    [70; 73) '101': u32
-    [85; 280) '{     ...MUT; }': ()
-    [173; 174) 'x': u32
-    [177; 189) 'LOCAL_STATIC': u32
-    [199; 200) 'y': u32
-    [203; 219) 'LOCAL_...IC_MUT': u32
-    [229; 230) 'z': u32
-    [233; 246) 'GLOBAL_STATIC': u32
-    [256; 257) 'w': u32
-    [260; 277) 'GLOBAL...IC_MUT': u32
-    [118; 120) '99': u32
-    [161; 163) '99': u32
+    29..32 '101': u32
+    70..73 '101': u32
+    85..280 '{     ...MUT; }': ()
+    173..174 'x': u32
+    177..189 'LOCAL_STATIC': u32
+    199..200 'y': u32
+    203..219 'LOCAL_...IC_MUT': u32
+    229..230 'z': u32
+    233..246 'GLOBAL_STATIC': u32
+    256..257 'w': u32
+    260..277 'GLOBAL...IC_MUT': u32
+    118..120 '99': u32
+    161..163 '99': u32
     "###
     );
 }
@@ -1684,12 +1684,12 @@ fn foo() -> u32 {
 }
 "#),
         @r###"
-    [17; 59) '{     ...; }; }': ()
-    [27; 28) 'x': || -> usize
-    [31; 56) '|| -> ...n 1; }': || -> usize
-    [43; 56) '{ return 1; }': !
-    [45; 53) 'return 1': !
-    [52; 53) '1': usize
+    17..59 '{     ...; }; }': ()
+    27..28 'x': || -> usize
+    31..56 '|| -> ...n 1; }': || -> usize
+    43..56 '{ return 1; }': !
+    45..53 'return 1': !
+    52..53 '1': usize
     "###
     );
 }
@@ -1703,11 +1703,11 @@ fn foo() -> u32 {
 }
 "#),
         @r###"
-    [17; 48) '{     ...; }; }': ()
-    [27; 28) 'x': || -> ()
-    [31; 45) '|| { return; }': || -> ()
-    [34; 45) '{ return; }': !
-    [36; 42) 'return': !
+    17..48 '{     ...; }; }': ()
+    27..28 'x': || -> ()
+    31..45 '|| { return; }': || -> ()
+    34..45 '{ return; }': !
+    36..42 'return': !
     "###
     );
 }
@@ -1721,11 +1721,11 @@ fn foo() -> u32 {
 }
 "#),
         @r###"
-    [17; 47) '{     ..." }; }': ()
-    [27; 28) 'x': || -> &str
-    [31; 44) '|| { "test" }': || -> &str
-    [34; 44) '{ "test" }': &str
-    [36; 42) '"test"': &str
+    17..47 '{     ..." }; }': ()
+    27..28 'x': || -> &str
+    31..44 '|| { "test" }': || -> &str
+    34..44 '{ "test" }': &str
+    36..42 '"test"': &str
     "###
     );
 }
@@ -1744,14 +1744,14 @@ fn main() {
 }
 "#),
         @r###"
-    [48; 121) '{     ...hod; }': ()
-    [58; 64) 'vtable': Vtable
-    [67; 91) 'Vtable...| {} }': Vtable
-    [84; 89) '|| {}': || -> ()
-    [87; 89) '{}': ()
-    [101; 102) 'm': fn()
-    [105; 111) 'vtable': Vtable
-    [105; 118) 'vtable.method': fn()
+    48..121 '{     ...hod; }': ()
+    58..64 'vtable': Vtable
+    67..91 'Vtable...| {} }': Vtable
+    84..89 '|| {}': || -> ()
+    87..89 '{}': ()
+    101..102 'm': fn()
+    105..111 'vtable': Vtable
+    105..118 'vtable.method': fn()
     "###
     );
 }
diff --git a/crates/ra_hir_ty/src/tests/traits.rs b/crates/ra_hir_ty/src/tests/traits.rs
index a46f03b7f..f51cdd496 100644
--- a/crates/ra_hir_ty/src/tests/traits.rs
+++ b/crates/ra_hir_ty/src/tests/traits.rs
@@ -256,16 +256,16 @@ fn test() {
 }
 "#),
         @r###"
-    [86; 87) 't': T
-    [92; 94) '{}': ()
-    [105; 144) '{     ...(s); }': ()
-    [115; 116) 's': S<u32>
-    [119; 120) 'S': S<u32>(u32) -> S<u32>
-    [119; 129) 'S(unknown)': S<u32>
-    [121; 128) 'unknown': u32
-    [135; 138) 'foo': fn foo<S<u32>>(S<u32>)
-    [135; 141) 'foo(s)': ()
-    [139; 140) 's': S<u32>
+    86..87 't': T
+    92..94 '{}': ()
+    105..144 '{     ...(s); }': ()
+    115..116 's': S<u32>
+    119..120 'S': S<u32>(u32) -> S<u32>
+    119..129 'S(unknown)': S<u32>
+    121..128 'unknown': u32
+    135..138 'foo': fn foo<S<u32>>(S<u32>)
+    135..141 'foo(s)': ()
+    139..140 's': S<u32>
     "###
     );
 }
@@ -284,17 +284,17 @@ fn test() {
 }
 "#),
         @r###"
-    [87; 88) 't': T
-    [98; 100) '{}': ()
-    [111; 163) '{     ...(s); }': ()
-    [121; 122) 's': S<u32>
-    [125; 126) 'S': S<u32>(u32) -> S<u32>
-    [125; 135) 'S(unknown)': S<u32>
-    [127; 134) 'unknown': u32
-    [145; 146) 'x': u32
-    [154; 157) 'foo': fn foo<u32, S<u32>>(S<u32>) -> u32
-    [154; 160) 'foo(s)': u32
-    [158; 159) 's': S<u32>
+    87..88 't': T
+    98..100 '{}': ()
+    111..163 '{     ...(s); }': ()
+    121..122 's': S<u32>
+    125..126 'S': S<u32>(u32) -> S<u32>
+    125..135 'S(unknown)': S<u32>
+    127..134 'unknown': u32
+    145..146 'x': u32
+    154..157 'foo': fn foo<u32, S<u32>>(S<u32>) -> u32
+    154..160 'foo(s)': u32
+    158..159 's': S<u32>
     "###
     );
 }
@@ -312,12 +312,12 @@ trait Trait {
 }
 "#),
         @r###"
-    [27; 31) 'self': &Self
-    [53; 57) 'self': &Self
-    [62; 97) '{     ...     }': ()
-    [76; 77) 'x': i64
-    [80; 84) 'self': &Self
-    [80; 90) 'self.foo()': i64
+    27..31 'self': &Self
+    53..57 'self': &Self
+    62..97 '{     ...     }': ()
+    76..77 'x': i64
+    80..84 'self': &Self
+    80..90 'self.foo()': i64
     "###
     );
 }
@@ -337,12 +337,12 @@ trait Trait: SuperTrait {
 }
 "#),
         @r###"
-    [32; 36) 'self': &Self
-    [86; 90) 'self': &Self
-    [95; 130) '{     ...     }': ()
-    [109; 110) 'x': i64
-    [113; 117) 'self': &Self
-    [113; 123) 'self.foo()': i64
+    32..36 'self': &Self
+    86..90 'self': &Self
+    95..130 '{     ...     }': ()
+    109..110 'x': i64
+    113..117 'self': &Self
+    113..123 'self.foo()': i64
     "###
     );
 }
@@ -364,15 +364,15 @@ fn test<T: Iterable>() {
 }
 "#),
         @r###"
-    [108; 261) '{     ...ter; }': ()
-    [118; 119) 'x': u32
-    [145; 146) '1': u32
-    [156; 157) 'y': Iterable::Item<T>
-    [183; 192) 'no_matter': Iterable::Item<T>
-    [202; 203) 'z': Iterable::Item<T>
-    [215; 224) 'no_matter': Iterable::Item<T>
-    [234; 235) 'a': Iterable::Item<T>
-    [249; 258) 'no_matter': Iterable::Item<T>
+    108..261 '{     ...ter; }': ()
+    118..119 'x': u32
+    145..146 '1': u32
+    156..157 'y': Iterable::Item<T>
+    183..192 'no_matter': Iterable::Item<T>
+    202..203 'z': Iterable::Item<T>
+    215..224 'no_matter': Iterable::Item<T>
+    234..235 'a': Iterable::Item<T>
+    249..258 'no_matter': Iterable::Item<T>
     "###
     );
 }
@@ -396,25 +396,25 @@ fn test() {
 }
 "#),
         @r###"
-    [106; 107) 't': T
-    [123; 125) '{}': ()
-    [147; 148) 't': T
-    [178; 180) '{}': ()
-    [202; 203) 't': T
-    [221; 223) '{}': ()
-    [234; 300) '{     ...(S); }': ()
-    [244; 245) 'x': u32
-    [248; 252) 'foo1': fn foo1<S>(S) -> <S as Iterable>::Item
-    [248; 255) 'foo1(S)': u32
-    [253; 254) 'S': S
-    [265; 266) 'y': u32
-    [269; 273) 'foo2': fn foo2<S>(S) -> <S as Iterable>::Item
-    [269; 276) 'foo2(S)': u32
-    [274; 275) 'S': S
-    [286; 287) 'z': u32
-    [290; 294) 'foo3': fn foo3<S>(S) -> <S as Iterable>::Item
-    [290; 297) 'foo3(S)': u32
-    [295; 296) 'S': S
+    106..107 't': T
+    123..125 '{}': ()
+    147..148 't': T
+    178..180 '{}': ()
+    202..203 't': T
+    221..223 '{}': ()
+    234..300 '{     ...(S); }': ()
+    244..245 'x': u32
+    248..252 'foo1': fn foo1<S>(S) -> <S as Iterable>::Item
+    248..255 'foo1(S)': u32
+    253..254 'S': S
+    265..266 'y': u32
+    269..273 'foo2': fn foo2<S>(S) -> <S as Iterable>::Item
+    269..276 'foo2(S)': u32
+    274..275 'S': S
+    286..287 'z': u32
+    290..294 'foo3': fn foo3<S>(S) -> <S as Iterable>::Item
+    290..297 'foo3(S)': u32
+    295..296 'S': S
     "###
     );
 }
@@ -431,9 +431,9 @@ fn test<T: Iterable<Item=u32>>() {
 }
 "#),
         @r###"
-    [67; 100) '{     ...own; }': ()
-    [77; 78) 'y': u32
-    [90; 97) 'unknown': u32
+    67..100 '{     ...own; }': ()
+    77..78 'y': u32
+    90..97 'unknown': u32
     "###
     );
 }
@@ -446,13 +446,13 @@ const A: u32 = 1 + 1;
 static B: u64 = { let x = 1; x };
 "#),
         @r###"
-    [16; 17) '1': u32
-    [16; 21) '1 + 1': u32
-    [20; 21) '1': u32
-    [39; 55) '{ let ...1; x }': u64
-    [45; 46) 'x': u64
-    [49; 50) '1': u64
-    [52; 53) 'x': u64
+    16..17 '1': u32
+    16..21 '1 + 1': u32
+    20..21 '1': u32
+    39..55 '{ let ...1; x }': u64
+    45..46 'x': u64
+    49..50 '1': u64
+    52..53 'x': u64
     "###
     );
 }
@@ -469,17 +469,17 @@ fn test() -> u64 {
 }
 "#),
         @r###"
-    [38; 87) '{     ... a.1 }': u64
-    [48; 49) 'a': S
-    [52; 53) 'S': S(i32, u64) -> S
-    [52; 59) 'S(4, 6)': S
-    [54; 55) '4': i32
-    [57; 58) '6': u64
-    [69; 70) 'b': i32
-    [73; 74) 'a': S
-    [73; 76) 'a.0': i32
-    [82; 83) 'a': S
-    [82; 85) 'a.1': u64
+    38..87 '{     ... a.1 }': u64
+    48..49 'a': S
+    52..53 'S': S(i32, u64) -> S
+    52..59 'S(4, 6)': S
+    54..55 '4': i32
+    57..58 '6': u64
+    69..70 'b': i32
+    73..74 'a': S
+    73..76 'a.0': i32
+    82..83 'a': S
+    82..85 'a.1': u64
     "###
     );
 }
@@ -496,24 +496,24 @@ fn test() -> u64 {
 }
 "#),
         @r###"
-    [44; 102) '{     ...0(2) }': u64
-    [54; 55) 'a': S
-    [58; 59) 'S': S(fn(u32) -> u64) -> S
-    [58; 68) 'S(|i| 2*i)': S
-    [60; 67) '|i| 2*i': |u32| -> u64
-    [61; 62) 'i': u32
-    [64; 65) '2': u32
-    [64; 67) '2*i': u32
-    [66; 67) 'i': u32
-    [78; 79) 'b': u64
-    [82; 83) 'a': S
-    [82; 85) 'a.0': fn(u32) -> u64
-    [82; 88) 'a.0(4)': u64
-    [86; 87) '4': u32
-    [94; 95) 'a': S
-    [94; 97) 'a.0': fn(u32) -> u64
-    [94; 100) 'a.0(2)': u64
-    [98; 99) '2': u32
+    44..102 '{     ...0(2) }': u64
+    54..55 'a': S
+    58..59 'S': S(fn(u32) -> u64) -> S
+    58..68 'S(|i| 2*i)': S
+    60..67 '|i| 2*i': |u32| -> u64
+    61..62 'i': u32
+    64..65 '2': u32
+    64..67 '2*i': u32
+    66..67 'i': u32
+    78..79 'b': u64
+    82..83 'a': S
+    82..85 'a.0': fn(u32) -> u64
+    82..88 'a.0(4)': u64
+    86..87 '4': u32
+    94..95 'a': S
+    94..97 'a.0': fn(u32) -> u64
+    94..100 'a.0(2)': u64
+    98..99 '2': u32
     "###
     );
 }
@@ -523,12 +523,12 @@ fn indexing_arrays() {
     assert_snapshot!(
         infer("fn main() { &mut [9][2]; }"),
         @r###"
-    [10; 26) '{ &mut...[2]; }': ()
-    [12; 23) '&mut [9][2]': &mut {unknown}
-    [17; 20) '[9]': [i32; _]
-    [17; 23) '[9][2]': {unknown}
-    [18; 19) '9': i32
-    [21; 22) '2': i32
+    10..26 '{ &mut...[2]; }': ()
+    12..23 '&mut [9][2]': &mut {unknown}
+    17..20 '[9]': [i32; _]
+    17..23 '[9][2]': {unknown}
+    18..19 '9': i32
+    21..22 '2': i32
     "###
     )
 }
@@ -944,34 +944,34 @@ fn test(x: impl Trait<u64>, y: &impl Trait<u32>) {
 }
 "#, true),
         @r###"
-    [30; 34) 'self': &Self
-    [55; 59) 'self': &Self
-    [78; 79) 'x': impl Trait<u16>
-    [98; 100) '{}': ()
-    [155; 156) 'x': impl Trait<u64>
-    [175; 176) 'y': &impl Trait<u32>
-    [196; 324) '{     ...2(); }': ()
-    [202; 203) 'x': impl Trait<u64>
-    [209; 210) 'y': &impl Trait<u32>
-    [220; 221) 'z': S<u16>
-    [224; 225) 'S': S<u16>(u16) -> S<u16>
-    [224; 228) 'S(1)': S<u16>
-    [226; 227) '1': u16
-    [234; 237) 'bar': fn bar(S<u16>)
-    [234; 240) 'bar(z)': ()
-    [238; 239) 'z': S<u16>
-    [246; 247) 'x': impl Trait<u64>
-    [246; 253) 'x.foo()': u64
-    [259; 260) 'y': &impl Trait<u32>
-    [259; 266) 'y.foo()': u32
-    [272; 273) 'z': S<u16>
-    [272; 279) 'z.foo()': u16
-    [285; 286) 'x': impl Trait<u64>
-    [285; 293) 'x.foo2()': i64
-    [299; 300) 'y': &impl Trait<u32>
-    [299; 307) 'y.foo2()': i64
-    [313; 314) 'z': S<u16>
-    [313; 321) 'z.foo2()': i64
+    30..34 'self': &Self
+    55..59 'self': &Self
+    78..79 'x': impl Trait<u16>
+    98..100 '{}': ()
+    155..156 'x': impl Trait<u64>
+    175..176 'y': &impl Trait<u32>
+    196..324 '{     ...2(); }': ()
+    202..203 'x': impl Trait<u64>
+    209..210 'y': &impl Trait<u32>
+    220..221 'z': S<u16>
+    224..225 'S': S<u16>(u16) -> S<u16>
+    224..228 'S(1)': S<u16>
+    226..227 '1': u16
+    234..237 'bar': fn bar(S<u16>)
+    234..240 'bar(z)': ()
+    238..239 'z': S<u16>
+    246..247 'x': impl Trait<u64>
+    246..253 'x.foo()': u64
+    259..260 'y': &impl Trait<u32>
+    259..266 'y.foo()': u32
+    272..273 'z': S<u16>
+    272..279 'z.foo()': u16
+    285..286 'x': impl Trait<u64>
+    285..293 'x.foo2()': i64
+    299..300 'y': &impl Trait<u32>
+    299..307 'y.foo2()': i64
+    313..314 'z': S<u16>
+    313..321 'z.foo2()': i64
     "###
     );
 }
@@ -1005,39 +1005,39 @@ fn test() {
 }
 "#, true),
         @r###"
-    [156; 157) 'x': impl Trait
-    [176; 187) '{ loop {} }': T
-    [178; 185) 'loop {}': !
-    [183; 185) '{}': ()
-    [200; 201) 'x': impl Trait
-    [220; 231) '{ loop {} }': T
-    [222; 229) 'loop {}': !
-    [227; 229) '{}': ()
-    [301; 510) '{     ... i32 }': ()
-    [307; 315) 'Foo::bar': fn bar<{unknown}, {unknown}>(S) -> {unknown}
-    [307; 318) 'Foo::bar(S)': {unknown}
-    [316; 317) 'S': S
-    [324; 339) '<F as Foo>::bar': fn bar<F, {unknown}>(S) -> {unknown}
-    [324; 342) '<F as ...bar(S)': {unknown}
-    [340; 341) 'S': S
-    [348; 354) 'F::bar': fn bar<F, {unknown}>(S) -> {unknown}
-    [348; 357) 'F::bar(S)': {unknown}
-    [355; 356) 'S': S
-    [363; 378) 'Foo::bar::<u32>': fn bar<{unknown}, u32>(S) -> u32
-    [363; 381) 'Foo::b...32>(S)': u32
-    [379; 380) 'S': S
-    [387; 409) '<F as ...:<u32>': fn bar<F, u32>(S) -> u32
-    [387; 412) '<F as ...32>(S)': u32
-    [410; 411) 'S': S
-    [419; 422) 'foo': fn foo<{unknown}>(S) -> {unknown}
-    [419; 425) 'foo(S)': {unknown}
-    [423; 424) 'S': S
-    [431; 441) 'foo::<u32>': fn foo<u32>(S) -> u32
-    [431; 444) 'foo::<u32>(S)': u32
-    [442; 443) 'S': S
-    [450; 465) 'foo::<u32, i32>': fn foo<u32>(S) -> u32
-    [450; 468) 'foo::<...32>(S)': u32
-    [466; 467) 'S': S
+    156..157 'x': impl Trait
+    176..187 '{ loop {} }': T
+    178..185 'loop {}': !
+    183..185 '{}': ()
+    200..201 'x': impl Trait
+    220..231 '{ loop {} }': T
+    222..229 'loop {}': !
+    227..229 '{}': ()
+    301..510 '{     ... i32 }': ()
+    307..315 'Foo::bar': fn bar<{unknown}, {unknown}>(S) -> {unknown}
+    307..318 'Foo::bar(S)': {unknown}
+    316..317 'S': S
+    324..339 '<F as Foo>::bar': fn bar<F, {unknown}>(S) -> {unknown}
+    324..342 '<F as ...bar(S)': {unknown}
+    340..341 'S': S
+    348..354 'F::bar': fn bar<F, {unknown}>(S) -> {unknown}
+    348..357 'F::bar(S)': {unknown}
+    355..356 'S': S
+    363..378 'Foo::bar::<u32>': fn bar<{unknown}, u32>(S) -> u32
+    363..381 'Foo::b...32>(S)': u32
+    379..380 'S': S
+    387..409 '<F as ...:<u32>': fn bar<F, u32>(S) -> u32
+    387..412 '<F as ...32>(S)': u32
+    410..411 'S': S
+    419..422 'foo': fn foo<{unknown}>(S) -> {unknown}
+    419..425 'foo(S)': {unknown}
+    423..424 'S': S
+    431..441 'foo::<u32>': fn foo<u32>(S) -> u32
+    431..444 'foo::<u32>(S)': u32
+    442..443 'S': S
+    450..465 'foo::<u32, i32>': fn foo<u32>(S) -> u32
+    450..468 'foo::<...32>(S)': u32
+    466..467 'S': S
     "###
     );
 }
@@ -1062,24 +1062,24 @@ fn test() {
 }
 "#, true),
         @r###"
-    [88; 92) 'self': F<T>
-    [94; 95) 'x': impl Trait
-    [119; 130) '{ loop {} }': (T, U)
-    [121; 128) 'loop {}': !
-    [126; 128) '{}': ()
-    [144; 284) '{     ...ored }': ()
-    [150; 151) 'F': F<{unknown}>
-    [150; 158) 'F.foo(S)': ({unknown}, {unknown})
-    [156; 157) 'S': S
-    [164; 172) 'F::<u32>': F<u32>
-    [164; 179) 'F::<u32>.foo(S)': (u32, {unknown})
-    [177; 178) 'S': S
-    [185; 193) 'F::<u32>': F<u32>
-    [185; 207) 'F::<u3...32>(S)': (u32, i32)
-    [205; 206) 'S': S
-    [213; 221) 'F::<u32>': F<u32>
-    [213; 240) 'F::<u3...32>(S)': (u32, i32)
-    [238; 239) 'S': S
+    88..92 'self': F<T>
+    94..95 'x': impl Trait
+    119..130 '{ loop {} }': (T, U)
+    121..128 'loop {}': !
+    126..128 '{}': ()
+    144..284 '{     ...ored }': ()
+    150..151 'F': F<{unknown}>
+    150..158 'F.foo(S)': ({unknown}, {unknown})
+    156..157 'S': S
+    164..172 'F::<u32>': F<u32>
+    164..179 'F::<u32>.foo(S)': (u32, {unknown})
+    177..178 'S': S
+    185..193 'F::<u32>': F<u32>
+    185..207 'F::<u3...32>(S)': (u32, i32)
+    205..206 'S': S
+    213..221 'F::<u32>': F<u32>
+    213..240 'F::<u3...32>(S)': (u32, i32)
+    238..239 'S': S
     "###
     );
 }
@@ -1098,13 +1098,13 @@ fn test() {
 }
 "#, true),
         @r###"
-    [23; 24) 'x': impl Trait
-    [38; 49) '{ loop {} }': ()
-    [40; 47) 'loop {}': !
-    [45; 47) '{}': ()
-    [91; 124) '{     ...foo; }': ()
-    [101; 102) 'f': fn(S)
-    [118; 121) 'foo': fn foo(S)
+    23..24 'x': impl Trait
+    38..49 '{ loop {} }': ()
+    40..47 'loop {}': !
+    45..47 '{}': ()
+    91..124 '{     ...foo; }': ()
+    101..102 'f': fn(S)
+    118..121 'foo': fn foo(S)
     "###
     );
 }
@@ -1133,29 +1133,29 @@ fn test(x: impl Trait<u64>, y: &impl Trait<u64>) {
 }
 "#),
         @r###"
-    [30; 34) 'self': &Self
-    [55; 59) 'self': &Self
-    [99; 101) '{}': ()
-    [111; 112) 'x': impl Trait<u64>
-    [131; 132) 'y': &impl Trait<u64>
-    [152; 269) '{     ...2(); }': ()
-    [158; 159) 'x': impl Trait<u64>
-    [165; 166) 'y': &impl Trait<u64>
-    [176; 177) 'z': impl Trait<u64>
-    [180; 183) 'bar': fn bar() -> impl Trait<u64>
-    [180; 185) 'bar()': impl Trait<u64>
-    [191; 192) 'x': impl Trait<u64>
-    [191; 198) 'x.foo()': u64
-    [204; 205) 'y': &impl Trait<u64>
-    [204; 211) 'y.foo()': u64
-    [217; 218) 'z': impl Trait<u64>
-    [217; 224) 'z.foo()': u64
-    [230; 231) 'x': impl Trait<u64>
-    [230; 238) 'x.foo2()': i64
-    [244; 245) 'y': &impl Trait<u64>
-    [244; 252) 'y.foo2()': i64
-    [258; 259) 'z': impl Trait<u64>
-    [258; 266) 'z.foo2()': i64
+    30..34 'self': &Self
+    55..59 'self': &Self
+    99..101 '{}': ()
+    111..112 'x': impl Trait<u64>
+    131..132 'y': &impl Trait<u64>
+    152..269 '{     ...2(); }': ()
+    158..159 'x': impl Trait<u64>
+    165..166 'y': &impl Trait<u64>
+    176..177 'z': impl Trait<u64>
+    180..183 'bar': fn bar() -> impl Trait<u64>
+    180..185 'bar()': impl Trait<u64>
+    191..192 'x': impl Trait<u64>
+    191..198 'x.foo()': u64
+    204..205 'y': &impl Trait<u64>
+    204..211 'y.foo()': u64
+    217..218 'z': impl Trait<u64>
+    217..224 'z.foo()': u64
+    230..231 'x': impl Trait<u64>
+    230..238 'x.foo2()': i64
+    244..245 'y': &impl Trait<u64>
+    244..252 'y.foo2()': i64
+    258..259 'z': impl Trait<u64>
+    258..266 'z.foo2()': i64
     "###
     );
 }
@@ -1183,29 +1183,29 @@ fn test(x: dyn Trait<u64>, y: &dyn Trait<u64>) {
 }
 "#),
         @r###"
-    [30; 34) 'self': &Self
-    [55; 59) 'self': &Self
-    [98; 100) '{}': ()
-    [110; 111) 'x': dyn Trait<u64>
-    [129; 130) 'y': &dyn Trait<u64>
-    [149; 266) '{     ...2(); }': ()
-    [155; 156) 'x': dyn Trait<u64>
-    [162; 163) 'y': &dyn Trait<u64>
-    [173; 174) 'z': dyn Trait<u64>
-    [177; 180) 'bar': fn bar() -> dyn Trait<u64>
-    [177; 182) 'bar()': dyn Trait<u64>
-    [188; 189) 'x': dyn Trait<u64>
-    [188; 195) 'x.foo()': u64
-    [201; 202) 'y': &dyn Trait<u64>
-    [201; 208) 'y.foo()': u64
-    [214; 215) 'z': dyn Trait<u64>
-    [214; 221) 'z.foo()': u64
-    [227; 228) 'x': dyn Trait<u64>
-    [227; 235) 'x.foo2()': i64
-    [241; 242) 'y': &dyn Trait<u64>
-    [241; 249) 'y.foo2()': i64
-    [255; 256) 'z': dyn Trait<u64>
-    [255; 263) 'z.foo2()': i64
+    30..34 'self': &Self
+    55..59 'self': &Self
+    98..100 '{}': ()
+    110..111 'x': dyn Trait<u64>
+    129..130 'y': &dyn Trait<u64>
+    149..266 '{     ...2(); }': ()
+    155..156 'x': dyn Trait<u64>
+    162..163 'y': &dyn Trait<u64>
+    173..174 'z': dyn Trait<u64>
+    177..180 'bar': fn bar() -> dyn Trait<u64>
+    177..182 'bar()': dyn Trait<u64>
+    188..189 'x': dyn Trait<u64>
+    188..195 'x.foo()': u64
+    201..202 'y': &dyn Trait<u64>
+    201..208 'y.foo()': u64
+    214..215 'z': dyn Trait<u64>
+    214..221 'z.foo()': u64
+    227..228 'x': dyn Trait<u64>
+    227..235 'x.foo2()': i64
+    241..242 'y': &dyn Trait<u64>
+    241..249 'y.foo2()': i64
+    255..256 'z': dyn Trait<u64>
+    255..263 'z.foo2()': i64
     "###
     );
 }
@@ -1231,17 +1231,17 @@ fn test(s: S<u32, i32>) {
 }
 "#),
         @r###"
-    [33; 37) 'self': &Self
-    [103; 107) 'self': &S<T, U>
-    [129; 140) '{ loop {} }': &dyn Trait<T, U>
-    [131; 138) 'loop {}': !
-    [136; 138) '{}': ()
-    [176; 180) 'self': &Self
-    [252; 253) 's': S<u32, i32>
-    [268; 290) '{     ...z(); }': ()
-    [274; 275) 's': S<u32, i32>
-    [274; 281) 's.bar()': &dyn Trait<u32, i32>
-    [274; 287) 's.bar().baz()': (u32, i32)
+    33..37 'self': &Self
+    103..107 'self': &S<T, U>
+    129..140 '{ loop {} }': &dyn Trait<T, U>
+    131..138 'loop {}': !
+    136..138 '{}': ()
+    176..180 'self': &Self
+    252..253 's': S<u32, i32>
+    268..290 '{     ...z(); }': ()
+    274..275 's': S<u32, i32>
+    274..281 's.bar()': &dyn Trait<u32, i32>
+    274..287 's.bar().baz()': (u32, i32)
     "###
     );
 }
@@ -1265,22 +1265,22 @@ fn test(x: Trait, y: &Trait) -> u64 {
 }
 "#),
         @r###"
-    [27; 31) 'self': &Self
-    [61; 63) '{}': ()
-    [73; 74) 'x': dyn Trait
-    [83; 84) 'y': &dyn Trait
-    [101; 176) '{     ...o(); }': ()
-    [107; 108) 'x': dyn Trait
-    [114; 115) 'y': &dyn Trait
-    [125; 126) 'z': dyn Trait
-    [129; 132) 'bar': fn bar() -> dyn Trait
-    [129; 134) 'bar()': dyn Trait
-    [140; 141) 'x': dyn Trait
-    [140; 147) 'x.foo()': u64
-    [153; 154) 'y': &dyn Trait
-    [153; 160) 'y.foo()': u64
-    [166; 167) 'z': dyn Trait
-    [166; 173) 'z.foo()': u64
+    27..31 'self': &Self
+    61..63 '{}': ()
+    73..74 'x': dyn Trait
+    83..84 'y': &dyn Trait
+    101..176 '{     ...o(); }': ()
+    107..108 'x': dyn Trait
+    114..115 'y': &dyn Trait
+    125..126 'z': dyn Trait
+    129..132 'bar': fn bar() -> dyn Trait
+    129..134 'bar()': dyn Trait
+    140..141 'x': dyn Trait
+    140..147 'x.foo()': u64
+    153..154 'y': &dyn Trait
+    153..160 'y.foo()': u64
+    166..167 'z': dyn Trait
+    166..173 'z.foo()': u64
     "###
     );
 }
@@ -1294,13 +1294,13 @@ fn test(a: impl Trait + 'lifetime, b: impl 'lifetime, c: impl (Trait), d: impl (
 }
 "#),
         @r###"
-    [24; 25) 'a': impl Trait + {error}
-    [51; 52) 'b': impl {error}
-    [70; 71) 'c': impl Trait
-    [87; 88) 'd': impl {error}
-    [108; 109) 'e': impl {error}
-    [124; 125) 'f': impl Trait + {error}
-    [148; 151) '{ }': ()
+    24..25 'a': impl Trait + {error}
+    51..52 'b': impl {error}
+    70..71 'c': impl Trait
+    87..88 'd': impl {error}
+    108..109 'e': impl {error}
+    124..125 'f': impl Trait + {error}
+    148..151 '{ }': ()
     "###
     );
 }
@@ -1349,41 +1349,41 @@ fn test<T: Trait<Type = u32>>(x: T, y: impl Trait<Type = i64>) {
 }
 "#),
         @r###"
-    [50; 51) 't': T
-    [78; 80) '{}': ()
-    [112; 113) 't': T
-    [123; 125) '{}': ()
-    [155; 156) 't': T
-    [166; 169) '{t}': T
-    [167; 168) 't': T
-    [257; 258) 'x': T
-    [263; 264) 'y': impl Trait<Type = i64>
-    [290; 398) '{     ...r>); }': ()
-    [296; 299) 'get': fn get<T>(T) -> <T as Trait>::Type
-    [296; 302) 'get(x)': u32
-    [300; 301) 'x': T
-    [308; 312) 'get2': fn get2<u32, T>(T) -> u32
-    [308; 315) 'get2(x)': u32
-    [313; 314) 'x': T
-    [321; 324) 'get': fn get<impl Trait<Type = i64>>(impl Trait<Type = i64>) -> <impl Trait<Type = i64> as Trait>::Type
-    [321; 327) 'get(y)': i64
-    [325; 326) 'y': impl Trait<Type = i64>
-    [333; 337) 'get2': fn get2<i64, impl Trait<Type = i64>>(impl Trait<Type = i64>) -> i64
-    [333; 340) 'get2(y)': i64
-    [338; 339) 'y': impl Trait<Type = i64>
-    [346; 349) 'get': fn get<S<u64>>(S<u64>) -> <S<u64> as Trait>::Type
-    [346; 357) 'get(set(S))': u64
-    [350; 353) 'set': fn set<S<u64>>(S<u64>) -> S<u64>
-    [350; 356) 'set(S)': S<u64>
-    [354; 355) 'S': S<u64>
-    [363; 367) 'get2': fn get2<u64, S<u64>>(S<u64>) -> u64
-    [363; 375) 'get2(set(S))': u64
-    [368; 371) 'set': fn set<S<u64>>(S<u64>) -> S<u64>
-    [368; 374) 'set(S)': S<u64>
-    [372; 373) 'S': S<u64>
-    [381; 385) 'get2': fn get2<str, S<str>>(S<str>) -> str
-    [381; 395) 'get2(S::<str>)': str
-    [386; 394) 'S::<str>': S<str>
+    50..51 't': T
+    78..80 '{}': ()
+    112..113 't': T
+    123..125 '{}': ()
+    155..156 't': T
+    166..169 '{t}': T
+    167..168 't': T
+    257..258 'x': T
+    263..264 'y': impl Trait<Type = i64>
+    290..398 '{     ...r>); }': ()
+    296..299 'get': fn get<T>(T) -> <T as Trait>::Type
+    296..302 'get(x)': u32
+    300..301 'x': T
+    308..312 'get2': fn get2<u32, T>(T) -> u32
+    308..315 'get2(x)': u32
+    313..314 'x': T
+    321..324 'get': fn get<impl Trait<Type = i64>>(impl Trait<Type = i64>) -> <impl Trait<Type = i64> as Trait>::Type
+    321..327 'get(y)': i64
+    325..326 'y': impl Trait<Type = i64>
+    333..337 'get2': fn get2<i64, impl Trait<Type = i64>>(impl Trait<Type = i64>) -> i64
+    333..340 'get2(y)': i64
+    338..339 'y': impl Trait<Type = i64>
+    346..349 'get': fn get<S<u64>>(S<u64>) -> <S<u64> as Trait>::Type
+    346..357 'get(set(S))': u64
+    350..353 'set': fn set<S<u64>>(S<u64>) -> S<u64>
+    350..356 'set(S)': S<u64>
+    354..355 'S': S<u64>
+    363..367 'get2': fn get2<u64, S<u64>>(S<u64>) -> u64
+    363..375 'get2(set(S))': u64
+    368..371 'set': fn set<S<u64>>(S<u64>) -> S<u64>
+    368..374 'set(S)': S<u64>
+    372..373 'S': S<u64>
+    381..385 'get2': fn get2<str, S<str>>(S<str>) -> str
+    381..395 'get2(S::<str>)': str
+    386..394 'S::<str>': S<str>
     "###
     );
 }
@@ -1448,11 +1448,11 @@ fn test<T: Trait1<Type = u32>>(x: T) {
 }
 "#),
         @r###"
-    [62; 66) 'self': Self
-    [164; 165) 'x': T
-    [170; 186) '{     ...o(); }': ()
-    [176; 177) 'x': T
-    [176; 183) 'x.foo()': u32
+    62..66 'self': Self
+    164..165 'x': T
+    170..186 '{     ...o(); }': ()
+    176..177 'x': T
+    176..183 'x.foo()': u32
     "###
     );
 }
@@ -1494,15 +1494,15 @@ fn test<T: Trait1, U: Trait2>(x: T, y: U) {
 }
 "#),
         @r###"
-    [50; 54) 'self': &Self
-    [63; 65) '{}': ()
-    [182; 183) 'x': T
-    [188; 189) 'y': U
-    [194; 223) '{     ...o(); }': ()
-    [200; 201) 'x': T
-    [200; 207) 'x.foo()': u32
-    [213; 214) 'y': U
-    [213; 220) 'y.foo()': u32
+    50..54 'self': &Self
+    63..65 '{}': ()
+    182..183 'x': T
+    188..189 'y': U
+    194..223 '{     ...o(); }': ()
+    200..201 'x': T
+    200..207 'x.foo()': u32
+    213..214 'y': U
+    213..220 'y.foo()': u32
     "###
     );
 }
@@ -1523,12 +1523,12 @@ fn test(x: &impl Trait1) {
 }
 "#),
         @r###"
-    [50; 54) 'self': &Self
-    [63; 65) '{}': ()
-    [116; 117) 'x': &impl Trait1
-    [133; 149) '{     ...o(); }': ()
-    [139; 140) 'x': &impl Trait1
-    [139; 146) 'x.foo()': u32
+    50..54 'self': &Self
+    63..65 '{}': ()
+    116..117 'x': &impl Trait1
+    133..149 '{     ...o(); }': ()
+    139..140 'x': &impl Trait1
+    139..146 'x.foo()': u32
     "###
     );
 }
@@ -1546,10 +1546,10 @@ fn test<T: A>(x: T) {
 }
 "#),
         @r###"
-    [44; 45) 'x': T
-    [50; 66) '{     ...o(); }': ()
-    [56; 57) 'x': T
-    [56; 63) 'x.foo()': {unknown}
+    44..45 'x': T
+    50..66 '{     ...o(); }': ()
+    56..57 'x': T
+    56..63 'x.foo()': {unknown}
     "###
     );
 }
@@ -1573,17 +1573,17 @@ fn test() {
 }
 "#),
         @r###"
-    [103; 104) 't': T
-    [114; 116) '{}': ()
-    [146; 147) 't': T
-    [157; 160) '{t}': T
-    [158; 159) 't': T
-    [259; 280) '{     ...S)); }': ()
-    [265; 269) 'get2': fn get2<u64, S<u64>>(S<u64>) -> u64
-    [265; 277) 'get2(set(S))': u64
-    [270; 273) 'set': fn set<S<u64>>(S<u64>) -> S<u64>
-    [270; 276) 'set(S)': S<u64>
-    [274; 275) 'S': S<u64>
+    103..104 't': T
+    114..116 '{}': ()
+    146..147 't': T
+    157..160 '{t}': T
+    158..159 't': T
+    259..280 '{     ...S)); }': ()
+    265..269 'get2': fn get2<u64, S<u64>>(S<u64>) -> u64
+    265..277 'get2(set(S))': u64
+    270..273 'set': fn set<S<u64>>(S<u64>) -> S<u64>
+    270..276 'set(S)': S<u64>
+    274..275 'S': S<u64>
     "###
     );
 }
@@ -1603,15 +1603,15 @@ fn test<F: FnOnce(u32, u64) -> u128>(f: F) {
 }
 "#),
         @r###"
-    [57; 61) 'self': Self
-    [63; 67) 'args': Args
-    [150; 151) 'f': F
-    [156; 184) '{     ...2)); }': ()
-    [162; 163) 'f': F
-    [162; 181) 'f.call...1, 2))': u128
-    [174; 180) '(1, 2)': (u32, u64)
-    [175; 176) '1': u32
-    [178; 179) '2': u64
+    57..61 'self': Self
+    63..67 'args': Args
+    150..151 'f': F
+    156..184 '{     ...2)); }': ()
+    162..163 'f': F
+    162..181 'f.call...1, 2))': u128
+    174..180 '(1, 2)': (u32, u64)
+    175..176 '1': u32
+    178..179 '2': u64
     "###
     );
 }
@@ -1638,32 +1638,32 @@ fn test() {
 }
 "#),
         @r###"
-    [148; 152) 'self': Option<T>
-    [154; 155) 'f': F
-    [173; 175) '{}': ()
-    [189; 308) '{     ... 1); }': ()
-    [199; 200) 'x': Option<u32>
-    [203; 215) 'Option::Some': Some<u32>(u32) -> Option<u32>
-    [203; 221) 'Option...(1u32)': Option<u32>
-    [216; 220) '1u32': u32
-    [227; 228) 'x': Option<u32>
-    [227; 243) 'x.map(...v + 1)': Option<u32>
-    [233; 242) '|v| v + 1': |u32| -> u32
-    [234; 235) 'v': u32
-    [237; 238) 'v': u32
-    [237; 242) 'v + 1': u32
-    [241; 242) '1': u32
-    [249; 250) 'x': Option<u32>
-    [249; 265) 'x.map(... 1u64)': Option<u64>
-    [255; 264) '|_v| 1u64': |u32| -> u64
-    [256; 258) '_v': u32
-    [260; 264) '1u64': u64
-    [275; 276) 'y': Option<i64>
-    [292; 293) 'x': Option<u32>
-    [292; 305) 'x.map(|_v| 1)': Option<i64>
-    [298; 304) '|_v| 1': |u32| -> i64
-    [299; 301) '_v': u32
-    [303; 304) '1': i64
+    148..152 'self': Option<T>
+    154..155 'f': F
+    173..175 '{}': ()
+    189..308 '{     ... 1); }': ()
+    199..200 'x': Option<u32>
+    203..215 'Option::Some': Some<u32>(u32) -> Option<u32>
+    203..221 'Option...(1u32)': Option<u32>
+    216..220 '1u32': u32
+    227..228 'x': Option<u32>
+    227..243 'x.map(...v + 1)': Option<u32>
+    233..242 '|v| v + 1': |u32| -> u32
+    234..235 'v': u32
+    237..238 'v': u32
+    237..242 'v + 1': u32
+    241..242 '1': u32
+    249..250 'x': Option<u32>
+    249..265 'x.map(... 1u64)': Option<u64>
+    255..264 '|_v| 1u64': |u32| -> u64
+    256..258 '_v': u32
+    260..264 '1u64': u64
+    275..276 'y': Option<i64>
+    292..293 'x': Option<u32>
+    292..305 'x.map(|_v| 1)': Option<i64>
+    298..304 '|_v| 1': |u32| -> i64
+    299..301 '_v': u32
+    303..304 '1': i64
     "###
     );
 }
@@ -1684,26 +1684,26 @@ fn test<F: FnOnce(u32) -> u64>(f: F) {
 }
 "#),
         @r###"
-    [73; 74) 'f': F
-    [79; 155) '{     ...+ v; }': ()
-    [85; 86) 'f': F
-    [85; 89) 'f(1)': {unknown}
-    [87; 88) '1': i32
-    [99; 100) 'g': |u64| -> i32
-    [103; 112) '|v| v + 1': |u64| -> i32
-    [104; 105) 'v': u64
-    [107; 108) 'v': u64
-    [107; 112) 'v + 1': i32
-    [111; 112) '1': i32
-    [118; 119) 'g': |u64| -> i32
-    [118; 125) 'g(1u64)': i32
-    [120; 124) '1u64': u64
-    [135; 136) 'h': |u128| -> u128
-    [139; 152) '|v| 1u128 + v': |u128| -> u128
-    [140; 141) 'v': u128
-    [143; 148) '1u128': u128
-    [143; 152) '1u128 + v': u128
-    [151; 152) 'v': u128
+    73..74 'f': F
+    79..155 '{     ...+ v; }': ()
+    85..86 'f': F
+    85..89 'f(1)': {unknown}
+    87..88 '1': i32
+    99..100 'g': |u64| -> i32
+    103..112 '|v| v + 1': |u64| -> i32
+    104..105 'v': u64
+    107..108 'v': u64
+    107..112 'v + 1': i32
+    111..112 '1': i32
+    118..119 'g': |u64| -> i32
+    118..125 'g(1u64)': i32
+    120..124 '1u64': u64
+    135..136 'h': |u128| -> u128
+    139..152 '|v| 1u128 + v': |u128| -> u128
+    140..141 'v': u128
+    143..148 '1u128': u128
+    143..152 '1u128 + v': u128
+    151..152 'v': u128
     "###
     );
 }
@@ -1736,54 +1736,54 @@ fn test() {
 }
 "#),
         @r###"
-    [95; 96) 'x': T
-    [101; 102) 'f': F
-    [112; 114) '{}': ()
-    [148; 149) 'f': F
-    [154; 155) 'x': T
-    [165; 167) '{}': ()
-    [202; 206) 'self': S
-    [254; 258) 'self': S
-    [260; 261) 'x': T
-    [266; 267) 'f': F
-    [277; 279) '{}': ()
-    [317; 321) 'self': S
-    [323; 324) 'f': F
-    [329; 330) 'x': T
-    [340; 342) '{}': ()
-    [356; 515) '{     ... S); }': ()
-    [366; 368) 'x1': u64
-    [371; 375) 'foo1': fn foo1<S, u64, |S| -> u64>(S, |S| -> u64) -> u64
-    [371; 394) 'foo1(S...hod())': u64
-    [376; 377) 'S': S
-    [379; 393) '|s| s.method()': |S| -> u64
-    [380; 381) 's': S
-    [383; 384) 's': S
-    [383; 393) 's.method()': u64
-    [404; 406) 'x2': u64
-    [409; 413) 'foo2': fn foo2<S, u64, |S| -> u64>(|S| -> u64, S) -> u64
-    [409; 432) 'foo2(|...(), S)': u64
-    [414; 428) '|s| s.method()': |S| -> u64
-    [415; 416) 's': S
-    [418; 419) 's': S
-    [418; 428) 's.method()': u64
-    [430; 431) 'S': S
-    [442; 444) 'x3': u64
-    [447; 448) 'S': S
-    [447; 472) 'S.foo1...hod())': u64
-    [454; 455) 'S': S
-    [457; 471) '|s| s.method()': |S| -> u64
-    [458; 459) 's': S
-    [461; 462) 's': S
-    [461; 471) 's.method()': u64
-    [482; 484) 'x4': u64
-    [487; 488) 'S': S
-    [487; 512) 'S.foo2...(), S)': u64
-    [494; 508) '|s| s.method()': |S| -> u64
-    [495; 496) 's': S
-    [498; 499) 's': S
-    [498; 508) 's.method()': u64
-    [510; 511) 'S': S
+    95..96 'x': T
+    101..102 'f': F
+    112..114 '{}': ()
+    148..149 'f': F
+    154..155 'x': T
+    165..167 '{}': ()
+    202..206 'self': S
+    254..258 'self': S
+    260..261 'x': T
+    266..267 'f': F
+    277..279 '{}': ()
+    317..321 'self': S
+    323..324 'f': F
+    329..330 'x': T
+    340..342 '{}': ()
+    356..515 '{     ... S); }': ()
+    366..368 'x1': u64
+    371..375 'foo1': fn foo1<S, u64, |S| -> u64>(S, |S| -> u64) -> u64
+    371..394 'foo1(S...hod())': u64
+    376..377 'S': S
+    379..393 '|s| s.method()': |S| -> u64
+    380..381 's': S
+    383..384 's': S
+    383..393 's.method()': u64
+    404..406 'x2': u64
+    409..413 'foo2': fn foo2<S, u64, |S| -> u64>(|S| -> u64, S) -> u64
+    409..432 'foo2(|...(), S)': u64
+    414..428 '|s| s.method()': |S| -> u64
+    415..416 's': S
+    418..419 's': S
+    418..428 's.method()': u64
+    430..431 'S': S
+    442..444 'x3': u64
+    447..448 'S': S
+    447..472 'S.foo1...hod())': u64
+    454..455 'S': S
+    457..471 '|s| s.method()': |S| -> u64
+    458..459 's': S
+    461..462 's': S
+    461..471 's.method()': u64
+    482..484 'x4': u64
+    487..488 'S': S
+    487..512 'S.foo2...(), S)': u64
+    494..508 '|s| s.method()': |S| -> u64
+    495..496 's': S
+    498..499 's': S
+    498..508 's.method()': u64
+    510..511 'S': S
     "###
     );
 }
@@ -1858,18 +1858,18 @@ impl Trait for S2 {
 }
 "#,
     ), @r###"
-    [54; 58) 'self': &Self
-    [60; 61) 'x': Trait::Item<Self>
-    [140; 144) 'self': &S
-    [146; 147) 'x': u32
-    [161; 175) '{ let y = x; }': ()
-    [167; 168) 'y': u32
-    [171; 172) 'x': u32
-    [242; 246) 'self': &S2
-    [248; 249) 'x': i32
-    [265; 279) '{ let y = x; }': ()
-    [271; 272) 'y': i32
-    [275; 276) 'x': i32
+    54..58 'self': &Self
+    60..61 'x': Trait::Item<Self>
+    140..144 'self': &S
+    146..147 'x': u32
+    161..175 '{ let y = x; }': ()
+    167..168 'y': u32
+    171..172 'x': u32
+    242..246 'self': &S2
+    248..249 'x': i32
+    265..279 '{ let y = x; }': ()
+    271..272 'y': i32
+    275..276 'x': i32
     "###);
 }
 
@@ -2077,15 +2077,15 @@ impl TokenStream for Rustc {
 }
 "#, true),
         @r###"
-    [1115; 1126) '{ loop {} }': T
-    [1117; 1124) 'loop {}': !
-    [1122; 1124) '{}': ()
-    [1190; 1253) '{     ...     }': {unknown}
-    [1204; 1209) 'group': {unknown}
-    [1225; 1229) 'make': fn make<{unknown}>() -> {unknown}
-    [1225; 1231) 'make()': {unknown}
-    [1241; 1245) 'make': fn make<{unknown}>() -> {unknown}
-    [1241; 1247) 'make()': {unknown}
+    1115..1126 '{ loop {} }': T
+    1117..1124 'loop {}': !
+    1122..1124 '{}': ()
+    1190..1253 '{     ...     }': {unknown}
+    1204..1209 'group': {unknown}
+    1225..1229 'make': fn make<{unknown}>() -> {unknown}
+    1225..1231 'make()': {unknown}
+    1241..1245 'make': fn make<{unknown}>() -> {unknown}
+    1241..1247 'make()': {unknown}
     "###
     );
 }
@@ -2112,37 +2112,37 @@ fn test() -> impl Trait<i32> {
 }
 "#, true),
         @r###"
-    [27; 28) 'x': impl Trait<u32>
-    [47; 58) '{ loop {} }': ()
-    [49; 56) 'loop {}': !
-    [54; 56) '{}': ()
-    [69; 70) 'x': impl Trait<T>
-    [92; 103) '{ loop {} }': T
-    [94; 101) 'loop {}': !
-    [99; 101) '{}': ()
-    [172; 183) '{ loop {} }': T
-    [174; 181) 'loop {}': !
-    [179; 181) '{}': ()
-    [214; 310) '{     ...t()) }': S<{unknown}>
-    [224; 226) 's1': S<u32>
-    [229; 230) 'S': S<u32>(u32) -> S<u32>
-    [229; 241) 'S(default())': S<u32>
-    [231; 238) 'default': fn default<u32>() -> u32
-    [231; 240) 'default()': u32
-    [247; 250) 'foo': fn foo(S<u32>)
-    [247; 254) 'foo(s1)': ()
-    [251; 253) 's1': S<u32>
-    [264; 265) 'x': i32
-    [273; 276) 'bar': fn bar<i32>(S<i32>) -> i32
-    [273; 290) 'bar(S(...lt()))': i32
-    [277; 278) 'S': S<i32>(i32) -> S<i32>
-    [277; 289) 'S(default())': S<i32>
-    [279; 286) 'default': fn default<i32>() -> i32
-    [279; 288) 'default()': i32
-    [296; 297) 'S': S<{unknown}>({unknown}) -> S<{unknown}>
-    [296; 308) 'S(default())': S<{unknown}>
-    [298; 305) 'default': fn default<{unknown}>() -> {unknown}
-    [298; 307) 'default()': {unknown}
+    27..28 'x': impl Trait<u32>
+    47..58 '{ loop {} }': ()
+    49..56 'loop {}': !
+    54..56 '{}': ()
+    69..70 'x': impl Trait<T>
+    92..103 '{ loop {} }': T
+    94..101 'loop {}': !
+    99..101 '{}': ()
+    172..183 '{ loop {} }': T
+    174..181 'loop {}': !
+    179..181 '{}': ()
+    214..310 '{     ...t()) }': S<{unknown}>
+    224..226 's1': S<u32>
+    229..230 'S': S<u32>(u32) -> S<u32>
+    229..241 'S(default())': S<u32>
+    231..238 'default': fn default<u32>() -> u32
+    231..240 'default()': u32
+    247..250 'foo': fn foo(S<u32>)
+    247..254 'foo(s1)': ()
+    251..253 's1': S<u32>
+    264..265 'x': i32
+    273..276 'bar': fn bar<i32>(S<i32>) -> i32
+    273..290 'bar(S(...lt()))': i32
+    277..278 'S': S<i32>(i32) -> S<i32>
+    277..289 'S(default())': S<i32>
+    279..286 'default': fn default<i32>() -> i32
+    279..288 'default()': i32
+    296..297 'S': S<{unknown}>({unknown}) -> S<{unknown}>
+    296..308 'S(default())': S<{unknown}>
+    298..305 'default': fn default<{unknown}>() -> {unknown}
+    298..307 'default()': {unknown}
     "###
     );
 }
@@ -2176,15 +2176,15 @@ fn main() {
 }
 "#),
         @r###"
-    [147; 149) '_v': F
-    [192; 195) '{ }': ()
-    [207; 238) '{     ... }); }': ()
-    [213; 223) 'f::<(), _>': fn f<(), |&()| -> ()>(|&()| -> ())
-    [213; 235) 'f::<()... z; })': ()
-    [224; 234) '|z| { z; }': |&()| -> ()
-    [225; 226) 'z': &()
-    [228; 234) '{ z; }': ()
-    [230; 231) 'z': &()
+    147..149 '_v': F
+    192..195 '{ }': ()
+    207..238 '{     ... }); }': ()
+    213..223 'f::<(), _>': fn f<(), |&()| -> ()>(|&()| -> ())
+    213..235 'f::<()... z; })': ()
+    224..234 '|z| { z; }': |&()| -> ()
+    225..226 'z': &()
+    228..234 '{ z; }': ()
+    230..231 'z': &()
     "###
     );
 }
@@ -2337,46 +2337,46 @@ fn main() {
 }
 "#),
         @r###"
-    [240; 244) 'self': Self
-    [246; 247) 'f': F
-    [331; 342) '{ loop {} }': FilterMap<Self, F>
-    [333; 340) 'loop {}': !
-    [338; 340) '{}': ()
-    [363; 367) 'self': Self
-    [369; 370) 'f': F
-    [419; 430) '{ loop {} }': ()
-    [421; 428) 'loop {}': !
-    [426; 428) '{}': ()
-    [539; 543) 'self': Self
-    [868; 872) 'self': I
-    [879; 899) '{     ...     }': I
-    [889; 893) 'self': I
-    [958; 969) '{ loop {} }': Vec<T>
-    [960; 967) 'loop {}': !
-    [965; 967) '{}': ()
-    [1156; 1287) '{     ... }); }': ()
-    [1162; 1177) 'Vec::<i32>::new': fn new<i32>() -> Vec<i32>
-    [1162; 1179) 'Vec::<...:new()': Vec<i32>
-    [1162; 1191) 'Vec::<...iter()': IntoIter<i32>
-    [1162; 1256) 'Vec::<...one })': FilterMap<IntoIter<i32>, |i32| -> Option<u32>>
-    [1162; 1284) 'Vec::<... y; })': ()
-    [1210; 1255) '|x| if...None }': |i32| -> Option<u32>
-    [1211; 1212) 'x': i32
-    [1214; 1255) 'if x >...None }': Option<u32>
-    [1217; 1218) 'x': i32
-    [1217; 1222) 'x > 0': bool
-    [1221; 1222) '0': i32
-    [1223; 1241) '{ Some...u32) }': Option<u32>
-    [1225; 1229) 'Some': Some<u32>(u32) -> Option<u32>
-    [1225; 1239) 'Some(x as u32)': Option<u32>
-    [1230; 1231) 'x': i32
-    [1230; 1238) 'x as u32': u32
-    [1247; 1255) '{ None }': Option<u32>
-    [1249; 1253) 'None': Option<u32>
-    [1273; 1283) '|y| { y; }': |u32| -> ()
-    [1274; 1275) 'y': u32
-    [1277; 1283) '{ y; }': ()
-    [1279; 1280) 'y': u32
+    240..244 'self': Self
+    246..247 'f': F
+    331..342 '{ loop {} }': FilterMap<Self, F>
+    333..340 'loop {}': !
+    338..340 '{}': ()
+    363..367 'self': Self
+    369..370 'f': F
+    419..430 '{ loop {} }': ()
+    421..428 'loop {}': !
+    426..428 '{}': ()
+    539..543 'self': Self
+    868..872 'self': I
+    879..899 '{     ...     }': I
+    889..893 'self': I
+    958..969 '{ loop {} }': Vec<T>
+    960..967 'loop {}': !
+    965..967 '{}': ()
+    1156..1287 '{     ... }); }': ()
+    1162..1177 'Vec::<i32>::new': fn new<i32>() -> Vec<i32>
+    1162..1179 'Vec::<...:new()': Vec<i32>
+    1162..1191 'Vec::<...iter()': IntoIter<i32>
+    1162..1256 'Vec::<...one })': FilterMap<IntoIter<i32>, |i32| -> Option<u32>>
+    1162..1284 'Vec::<... y; })': ()
+    1210..1255 '|x| if...None }': |i32| -> Option<u32>
+    1211..1212 'x': i32
+    1214..1255 'if x >...None }': Option<u32>
+    1217..1218 'x': i32
+    1217..1222 'x > 0': bool
+    1221..1222 '0': i32
+    1223..1241 '{ Some...u32) }': Option<u32>
+    1225..1229 'Some': Some<u32>(u32) -> Option<u32>
+    1225..1239 'Some(x as u32)': Option<u32>
+    1230..1231 'x': i32
+    1230..1238 'x as u32': u32
+    1247..1255 '{ None }': Option<u32>
+    1249..1253 'None': Option<u32>
+    1273..1283 '|y| { y; }': |u32| -> ()
+    1274..1275 'y': u32
+    1277..1283 '{ y; }': ()
+    1279..1280 'y': u32
     "###
     );
 }
@@ -2428,13 +2428,13 @@ fn test(x: &dyn Foo) {
 }
 "#, true),
         @r###"
-    [22; 23) 'x': &dyn Foo
-    [35; 37) '{}': ()
-    [47; 48) 'x': &dyn Foo
-    [60; 75) '{     foo(x); }': ()
-    [66; 69) 'foo': fn foo(&dyn Foo)
-    [66; 72) 'foo(x)': ()
-    [70; 71) 'x': &dyn Foo
+    22..23 'x': &dyn Foo
+    35..37 '{}': ()
+    47..48 'x': &dyn Foo
+    60..75 '{     foo(x); }': ()
+    66..69 'foo': fn foo(&dyn Foo)
+    66..72 'foo(x)': ()
+    70..71 'x': &dyn Foo
     "###
     );
 }