1 files changed, 188 insertions, 188 deletions

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
     "###
     );
 }