From 8843588fca7a6022b86800d5d2539594c0de93cf Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Fri, 24 Apr 2020 23:51:02 +0200 Subject: Convert tests to text-size --- crates/ra_hir_ty/src/tests/coercion.rs | 582 +++++----- crates/ra_hir_ty/src/tests/macros.rs | 202 ++-- crates/ra_hir_ty/src/tests/method_resolution.rs | 376 +++---- crates/ra_hir_ty/src/tests/patterns.rs | 480 ++++---- crates/ra_hir_ty/src/tests/regression.rs | 278 ++--- crates/ra_hir_ty/src/tests/simple.rs | 1360 +++++++++++------------ crates/ra_hir_ty/src/tests/traits.rs | 1106 +++++++++--------- 7 files changed, 2192 insertions(+), 2192 deletions(-) (limited to 'crates/ra_hir_ty/src/tests') 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() -> *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 - [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(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() -> *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 + 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(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(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(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(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(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] - [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] + 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] - [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] + 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] - [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] + 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] - [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] + 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 - [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 + 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 S { } "#, true), @r###" - [51; 55) 'self': &S - [64; 87) '{ ... }': &TT - [74; 81) '&self.t': &TT - [75; 79) 'self': &S - [75; 81) 'self.t': TT + 51..55 'self': &S + 64..87 '{ ... }': &TT + 74..81 '&self.t': &TT + 75..79 'self': &S + 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 - [423; 425) '&S': &S - [424; 425) 'S': S - [435; 438) 'obj': &dyn Bar - [460; 463) 'obj': &dyn Baz - [473; 476) 'obj': &dyn Foo - [495; 498) 'obj': &dyn Bar - [508; 512) 'obj2': &dyn Baz - [534; 536) '&S': &S - [535; 536) 'S': S - [546; 547) '_': &dyn Foo - [566; 570) 'obj2': &dyn Baz + 388..573 '{ ...bj2; }': () + 398..401 'obj': &dyn Baz + 423..425 '&S': &S + 424..425 'S': S + 435..438 'obj': &dyn Bar + 460..463 'obj': &dyn Baz + 473..476 'obj': &dyn Foo + 495..498 'obj': &dyn Bar + 508..512 'obj2': &dyn Baz + 534..536 '&S': &S + 535..536 'S': S + 546..547 '_': &dyn Foo + 566..570 'obj2': &dyn Baz "### ); } @@ -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 - [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 + 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 - [92; 103) 'Gen { val }': Gen - [98; 101) 'val': T - [123; 155) '{ ...32); }': () - [133; 134) 'a': Gen - [137; 146) 'Gen::make': fn make(u32) -> Gen - [137; 152) 'Gen::make(0u32)': Gen - [147; 151) '0u32': u32 + 64..67 'val': T + 82..109 '{ ... }': Gen + 92..103 'Gen { val }': Gen + 98..101 'val': T + 123..155 '{ ...32); }': () + 133..134 'a': Gen + 137..146 'Gen::make': fn make(u32) -> Gen + 137..152 'Gen::make(0u32)': Gen + 147..151 '0u32': u32 "### ); } @@ -201,13 +201,13 @@ fn test() { } "#), @r###" - [80; 104) '{ ... }': Gen - [90; 98) 'loop { }': ! - [95; 98) '{ }': () - [118; 146) '{ ...e(); }': () - [128; 129) 'a': Gen - [132; 141) 'Gen::make': fn make() -> Gen - [132; 143) 'Gen::make()': Gen + 80..104 '{ ... }': Gen + 90..98 'loop { }': ! + 95..98 '{ }': () + 118..146 '{ ...e(); }': () + 128..129 'a': Gen + 132..141 'Gen::make': fn make() -> Gen + 132..143 'Gen::make()': Gen "### ); } @@ -255,13 +255,13 @@ fn test() { } "#), @r###" - [76; 100) '{ ... }': Gen - [86; 94) 'loop { }': ! - [91; 94) '{ }': () - [114; 149) '{ ...e(); }': () - [124; 125) 'a': Gen - [128; 144) 'Gen::<...::make': fn make() -> Gen - [128; 146) 'Gen::<...make()': Gen + 76..100 '{ ... }': Gen + 86..94 'loop { }': ! + 91..94 '{ }': () + 114..149 '{ ...e(); }': () + 124..125 'a': Gen + 128..144 'Gen::<...::make': fn make() -> Gen + 128..146 'Gen::<...make()': Gen "### ); } @@ -286,13 +286,13 @@ fn test() { } "#), @r###" - [102; 126) '{ ... }': Gen - [112; 120) 'loop { }': ! - [117; 120) '{ }': () - [140; 180) '{ ...e(); }': () - [150; 151) 'a': Gen - [154; 175) 'Gen::<...::make': fn make() -> Gen - [154; 177) 'Gen::<...make()': Gen + 102..126 '{ ... }': Gen + 112..120 'loop { }': ! + 117..120 '{ }': () + 140..180 '{ ...e(); }': () + 150..151 'a': Gen + 154..175 'Gen::<...::make': fn make() -> Gen + 154..177 'Gen::<...make()': Gen "### ); } @@ -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) -> S - [108; 115) 'S(1u32)': S - [108; 124) 'S(1u32...thod()': u32 - [110; 114) '1u32': u32 + 33..37 'self': &Self + 102..127 '{ ...d(); }': () + 108..109 'S': S(u32) -> S + 108..115 'S(1u32)': S + 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 - [105; 123) 'Defaul...ault()': S - [133; 135) 's2': S - [138; 148) 'S::default': fn default() -> S - [138; 150) 'S::default()': S - [160; 162) 's3': S - [165; 188) '() -> S - [165; 190) '() -> S + 105..123 'Defaul...ault()': S + 133..135 's2': S + 138..148 'S::default': fn default() -> S + 138..150 'S::default()': S + 160..162 's3': S + 165..188 '() -> S + 165..190 '() -> u32 - [141; 150) 'S::make()': u32 - [160; 161) 'b': u64 - [164; 178) 'G::::make': fn make, u64>() -> u64 - [164; 180) 'G::, f64>() -> f64 - [199; 208) 'G::make()': f64 + 127..211 '{ ...e(); }': () + 137..138 'a': u32 + 141..148 'S::make': fn make() -> u32 + 141..150 'S::make()': u32 + 160..161 'b': u64 + 164..178 'G::::make': fn make, u64>() -> u64 + 164..180 'G::, 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::': fn make() -> (u32, i64) - [149; 165) 'S::mak...i64>()': (u32, i64) - [175; 176) 'b': (u32, i64) - [189; 196) 'S::make': fn make() -> (u32, i64) - [189; 198) 'S::make()': (u32, i64) - [208; 209) 'c': (u32, i64) - [212; 233) 'G::': fn make, u32, i64>() -> (u32, i64) - [212; 235) 'G::()': (u32, i64) - [245; 246) 'd': (u32, i64) - [259; 273) 'G::make::': fn make, u32, i64>() -> (u32, i64) - [259; 275) 'G::mak...i64>()': (u32, i64) - [285; 286) 'e': (u32, i64) - [301; 308) 'G::make': fn make, u32, i64>() -> (u32, i64) - [301; 310) 'G::make()': (u32, i64) + 135..313 '{ ...e(); }': () + 145..146 'a': (u32, i64) + 149..163 'S::make::': fn make() -> (u32, i64) + 149..165 'S::mak...i64>()': (u32, i64) + 175..176 'b': (u32, i64) + 189..196 'S::make': fn make() -> (u32, i64) + 189..198 'S::make()': (u32, i64) + 208..209 'c': (u32, i64) + 212..233 'G::': fn make, u32, i64>() -> (u32, i64) + 212..235 'G::()': (u32, i64) + 245..246 'd': (u32, i64) + 259..273 'G::make::': fn make, u32, i64>() -> (u32, i64) + 259..275 'G::mak...i64>()': (u32, i64) + 285..286 'e': (u32, i64) + 301..308 'G::make': fn make, u32, i64>() -> (u32, i64) + 301..310 'G::make()': (u32, i64) "### ); } @@ -599,10 +599,10 @@ fn test() { } "#), @r###" - [101; 127) '{ ...e(); }': () - [111; 112) 'a': (S, i64) - [115; 122) 'S::make': fn make, i64>() -> (S, i64) - [115; 124) 'S::make()': (S, i64) + 101..127 '{ ...e(); }': () + 111..112 'a': (S, i64) + 115..122 'S::make': fn make, i64>() -> (S, i64) + 115..124 'S::make()': (S, i64) "### ); } @@ -623,13 +623,13 @@ fn test() { } "#), @r###" - [131; 203) '{ ...e(); }': () - [141; 142) 'a': (S, i64) - [158; 165) 'S::make': fn make, i64>() -> (S, i64) - [158; 167) 'S::make()': (S, i64) - [177; 178) 'b': (S, i32) - [191; 198) 'S::make': fn make, i32>() -> (S, i32) - [191; 200) 'S::make()': (S, i32) + 131..203 '{ ...e(); }': () + 141..142 'a': (S, i64) + 158..165 'S::make': fn make, i64>() -> (S, i64) + 158..167 'S::make()': (S, i64) + 177..178 'b': (S, i32) + 191..198 'S::make': fn make, i32>() -> (S, i32) + 191..200 'S::make()': (S, i32) "### ); } @@ -649,13 +649,13 @@ fn test() { } "#), @r###" - [107; 211) '{ ...>(); }': () - [117; 118) 'a': (S, i64, u8) - [121; 150) '': fn make, i64, u8>() -> (S, i64, u8) - [121; 152) '()': (S, i64, u8) - [162; 163) 'b': (S, i64, u8) - [182; 206) 'Trait:...::': fn make, i64, u8>() -> (S, i64, u8) - [182; 208) 'Trait:...()': (S, i64, u8) + 107..211 '{ ...>(); }': () + 117..118 'a': (S, i64, u8) + 121..150 '': fn make, i64, u8>() -> (S, i64, u8) + 121..152 '()': (S, i64, u8) + 162..163 'b': (S, i64, u8) + 182..206 'Trait:...::': fn make, i64, u8>() -> (S, i64, u8) + 182..208 'Trait:...()': (S, i64, u8) "### ); } @@ -672,11 +672,11 @@ fn test(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>(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 - [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 + 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 - [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 - [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 - [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 - [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 - [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 + 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 + 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 + 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 + 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 + 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 - [40; 41) 'n': &i32 - [45; 50) '&A(1)': &A - [46; 47) 'A': A(i32) -> A - [46; 50) 'A(1)': A - [48; 49) '1': i32 - [60; 64) 'A(n)': A - [62; 63) 'n': &mut i32 - [67; 76) '&mut A(1)': &mut A - [72; 73) 'A': A(i32) -> A - [72; 76) 'A(1)': A - [74; 75) '1': i32 + 28..79 '{ ...(1); }': () + 38..42 'A(n)': A + 40..41 'n': &i32 + 45..50 '&A(1)': &A + 46..47 'A': A(i32) -> A + 46..50 'A(1)': A + 48..49 '1': i32 + 60..64 'A(n)': A + 62..63 'n': &mut i32 + 67..76 '&mut A(1)': &mut A + 72..73 'A': A(i32) -> A + 72..76 'A(1)': A + 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, o: Option) { } "#), @r###" - [79; 81) 'a1': A - [91; 92) 'o': Option - [107; 244) '{ ... }; }': () - [117; 128) 'A { x: x2 }': A - [124; 126) 'x2': u32 - [131; 133) 'a1': A - [143; 161) 'A:: - [157; 159) 'x3': i64 - [164; 174) 'A { x: 1 }': A - [171; 172) '1': i64 - [180; 241) 'match ... }': u64 - [186; 187) 'o': Option - [198; 213) 'Option::Some(t)': Option - [211; 212) 't': u64 - [217; 218) 't': u64 - [228; 229) '_': Option - [233; 234) '1': u64 + 79..81 'a1': A + 91..92 'o': Option + 107..244 '{ ... }; }': () + 117..128 'A { x: x2 }': A + 124..126 'x2': u32 + 131..133 'a1': A + 143..161 'A:: + 157..159 'x3': i64 + 164..174 'A { x: 1 }': A + 171..172 '1': i64 + 180..241 'match ... }': u64 + 186..187 'o': Option + 198..213 'Option::Some(t)': Option + 211..212 't': u64 + 217..218 't': u64 + 228..229 '_': Option + 233..234 '1': u64 "### ); } @@ -431,27 +431,27 @@ fn test() { } "#, true), @r###" - [74; 75) '1': usize - [88; 310) '{ ...atch }': () - [98; 99) 'a': Option - [115; 119) 'None': Option - [129; 130) 'b': Option - [146; 183) 'match ... }': Option - [152; 153) 'a': Option - [164; 168) 'None': Option - [172; 176) 'None': Option - [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 + 115..119 'None': Option + 129..130 'b': Option + 146..183 'match ... }': Option + 152..153 'a': Option + 164..168 'None': Option + 172..176 'None': Option + 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(query_response: Canonical>) { } "#), @r###" - [92; 106) 'query_response': Canonical> - [137; 167) '{ ...lue; }': () - [143; 164) '&query....value': &QueryResponse - [144; 158) 'query_response': Canonical> - [144; 164) 'query_....value': QueryResponse + 92..106 'query_response': Canonical> + 137..167 '{ ...lue; }': () + 143..164 '&query....value': &QueryResponse + 144..158 'query_response': Canonical> + 144..164 'query_....value': QueryResponse "### ); } @@ -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) '::foo': {unknown} - [32; 51) '::foo': {unknown} + 32..51 ' - [489; 523) '{ ... }': () - [499; 503) 'self': SelectStatement - [499; 509) 'self.order': O - [499; 516) 'self.o...into()': dyn QueryFragment + 66..70 'self': Self + 268..272 'self': Self + 467..471 'self': SelectStatement + 489..523 '{ ... }': () + 499..503 'self': SelectStatement + 499..509 'self.order': O + 499..516 'self.o...into()': dyn QueryFragment "### ); } 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 { } "#, ), @r###" - [63; 93) '{ ... }': () - [73; 86) 'Self { x: 1 }': S - [83; 84) '1': u32 + 63..93 '{ ... }': () + 73..86 'Self { x: 1 }': S + 83..84 '1': u32 "###); } @@ -85,9 +85,9 @@ fn foo() { "#, ), @r###" - [64; 84) '{ ...1 }; }': () - [70; 81) 'SS { x: 1 }': S - [78; 79) '1': u32 + 64..84 '{ ...1 }; }': () + 70..81 'SS { x: 1 }': S + 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) '::foo': fn foo() -> i32 - [80; 90) '::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 '::foo': fn foo() -> i32 + 80..90 '::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 - [151; 174) '{ ... }': &T - [161; 168) '&self.0': &T - [162; 166) 'self': &A - [162; 168) 'self.0': T - [255; 259) 'self': &B - [278; 301) '{ ... }': &T - [288; 295) '&self.0': &T - [289; 293) 'self': &B - [289; 295) 'self.0': T - [315; 353) '{ ...))); }': () - [325; 326) 't': &i32 - [329; 335) 'A::foo': fn foo(&A) -> &i32 - [329; 350) 'A::foo...42))))': &i32 - [336; 349) '&&B(B(A(42)))': &&B>> - [337; 349) '&B(B(A(42)))': &B>> - [338; 339) 'B': B>>(B>) -> B>> - [338; 349) 'B(B(A(42)))': B>> - [340; 341) 'B': B>(A) -> B> - [340; 348) 'B(A(42))': B> - [342; 343) 'A': A(i32) -> A - [342; 347) 'A(42)': A - [344; 346) '42': i32 + 68..72 'self': &Self + 139..143 'self': &A + 151..174 '{ ... }': &T + 161..168 '&self.0': &T + 162..166 'self': &A + 162..168 'self.0': T + 255..259 'self': &B + 278..301 '{ ... }': &T + 288..295 '&self.0': &T + 289..293 'self': &B + 289..295 'self.0': T + 315..353 '{ ...))); }': () + 325..326 't': &i32 + 329..335 'A::foo': fn foo(&A) -> &i32 + 329..350 'A::foo...42))))': &i32 + 336..349 '&&B(B(A(42)))': &&B>> + 337..349 '&B(B(A(42)))': &B>> + 338..339 'B': B>>(B>) -> B>> + 338..349 'B(B(A(42)))': B>> + 340..341 'B': B>(A) -> B> + 340..348 'B(A(42))': B> + 342..343 'A': A(i32) -> A + 342..347 'A(42)': A + 344..346 '42': i32 "### ); } @@ -842,34 +842,34 @@ fn test(a: A) { } "#), @r###" - [68; 72) 'self': &Self - [144; 148) 'self': &A - [150; 151) 'x': &A - [166; 187) '{ ... }': &T - [176; 181) '&*x.0': &T - [177; 181) '*x.0': T - [178; 179) 'x': &A - [178; 181) 'x.0': *mut T - [268; 272) 'self': &B - [291; 314) '{ ... }': &T - [301; 308) '&self.0': &T - [302; 306) 'self': &B - [302; 308) 'self.0': T - [326; 327) 'a': A - [337; 383) '{ ...))); }': () - [347; 348) 't': &i32 - [351; 352) 'A': A(*mut i32) -> A - [351; 365) 'A(0 as *mut _)': A - [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>> - [371; 379) '&B(B(a))': &B>> - [372; 373) 'B': B>>(B>) -> B>> - [372; 379) 'B(B(a))': B>> - [374; 375) 'B': B>(A) -> B> - [374; 378) 'B(a)': B> - [376; 377) 'a': A + 68..72 'self': &Self + 144..148 'self': &A + 150..151 'x': &A + 166..187 '{ ... }': &T + 176..181 '&*x.0': &T + 177..181 '*x.0': T + 178..179 'x': &A + 178..181 'x.0': *mut T + 268..272 'self': &B + 291..314 '{ ... }': &T + 301..308 '&self.0': &T + 302..306 'self': &B + 302..308 'self.0': T + 326..327 'a': A + 337..383 '{ ...))); }': () + 347..348 't': &i32 + 351..352 'A': A(*mut i32) -> A + 351..365 'A(0 as *mut _)': A + 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>> + 371..379 '&B(B(a))': &B>> + 372..373 'B': B>>(B>) -> B>> + 372..379 'B(B(a))': B>> + 374..375 'B': B>(A) -> B> + 374..378 'B(a)': B> + 376..377 'a': A "### ); } @@ -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, i: i32) { } "#), @r###" - [36; 38) 'a1': A - [48; 49) 'i': i32 - [56; 147) '{ ...3.x; }': () - [62; 64) 'a1': A - [62; 66) 'a1.x': u32 - [76; 78) 'a2': A - [81; 91) 'A { x: i }': A - [88; 89) 'i': i32 - [97; 99) 'a2': A - [97; 101) 'a2.x': i32 - [111; 113) 'a3': A - [116; 134) 'A:: - [131; 132) '1': i128 - [140; 142) 'a3': A - [140; 144) 'a3.x': i128 + 36..38 'a1': A + 48..49 'i': i32 + 56..147 '{ ...3.x; }': () + 62..64 'a1': A + 62..66 'a1.x': u32 + 76..78 'a2': A + 81..91 'A { x: i }': A + 88..89 'i': i32 + 97..99 'a2': A + 97..101 'a2.x': i32 + 111..113 'a3': A + 116..134 'A:: + 131..132 '1': i128 + 140..142 'a3': A + 140..144 'a3.x': i128 "### ); } @@ -1211,22 +1211,22 @@ fn test() { } "#), @r###" - [76; 184) '{ ...one; }': () - [82; 83) 'A': A(i32) -> A - [82; 87) 'A(42)': A - [84; 86) '42': i32 - [93; 94) 'A': A(u128) -> A - [93; 102) 'A(42u128)': A - [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 - [177; 181) 'None': Option + 76..184 '{ ...one; }': () + 82..83 'A': A(i32) -> A + 82..87 'A(42)': A + 84..86 '42': i32 + 93..94 'A': A(u128) -> A + 93..102 'A(42u128)': A + 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 + 177..181 'None': Option "### ); } @@ -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 - [44; 52) 'id(1u32)': u32 - [47; 51) '1u32': u32 - [58; 68) 'id::': fn id(i128) -> i128 - [58; 71) 'id::(1)': i128 - [69; 70) '1': i128 - [81; 82) 'x': u64 - [90; 92) 'id': fn id(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 + 44..52 'id(1u32)': u32 + 47..51 '1u32': u32 + 58..68 'id::': fn id(i128) -> i128 + 58..71 'id::(1)': i128 + 69..70 '1': i128 + 81..82 'x': u64 + 90..92 'id': fn id(u64) -> u64 + 90..95 'id(1)': u64 + 93..94 '1': u64 "### ); } @@ -1291,38 +1291,38 @@ fn test() -> i128 { } "#), @r###" - [74; 78) 'self': A - [85; 107) '{ ... }': X - [95; 99) 'self': A - [95; 101) 'self.x': X - [117; 121) 'self': A - [128; 150) '{ ... }': Y - [138; 142) 'self': A - [138; 144) 'self.y': Y - [163; 167) 'self': A - [169; 170) 't': T - [188; 223) '{ ... }': (X, Y, T) - [198; 217) '(self.....y, t)': (X, Y, T) - [199; 203) 'self': A - [199; 205) 'self.x': X - [207; 211) 'self': A - [207; 213) 'self.y': Y - [215; 216) 't': T - [245; 342) '{ ...(1); }': () - [255; 256) 'a': A - [259; 281) 'A { x:...1i64 }': A - [266; 270) '1u64': u64 - [275; 279) '1i64': i64 - [287; 288) 'a': A - [287; 292) 'a.x()': u64 - [298; 299) 'a': A - [298; 303) 'a.y()': i64 - [309; 310) 'a': A - [309; 319) 'a.z(1i128)': (u64, i64, i128) - [313; 318) '1i128': i128 - [325; 326) 'a': A - [325; 339) 'a.z::(1)': (u64, i64, u128) - [337; 338) '1': u128 + 74..78 'self': A + 85..107 '{ ... }': X + 95..99 'self': A + 95..101 'self.x': X + 117..121 'self': A + 128..150 '{ ... }': Y + 138..142 'self': A + 138..144 'self.y': Y + 163..167 'self': A + 169..170 't': T + 188..223 '{ ... }': (X, Y, T) + 198..217 '(self.....y, t)': (X, Y, T) + 199..203 'self': A + 199..205 'self.x': X + 207..211 'self': A + 207..213 'self.y': Y + 215..216 't': T + 245..342 '{ ...(1); }': () + 255..256 'a': A + 259..281 'A { x:...1i64 }': A + 266..270 '1u64': u64 + 275..279 '1i64': i64 + 287..288 'a': A + 287..292 'a.x()': u64 + 298..299 'a': A + 298..303 'a.y()': i64 + 309..310 'a': A + 309..319 'a.z(1i128)': (u64, i64, i128) + 313..318 '1i128': i128 + 325..326 'a': A + 325..339 'a.z::(1)': (u64, i64, u128) + 337..338 '1': u128 "### ); } @@ -1344,15 +1344,15 @@ fn test(o: Option) { } "#), @r###" - [78; 82) 'self': &Option - [98; 100) '{}': () - [111; 112) 'o': Option - [127; 165) '{ ...f(); }': () - [133; 146) '(&o).as_ref()': Option<&u32> - [134; 136) '&o': &Option - [135; 136) 'o': Option - [152; 153) 'o': Option - [152; 162) 'o.as_ref()': Option<&u32> + 78..82 'self': &Option + 98..100 '{}': () + 111..112 'o': Option + 127..165 '{ ...f(); }': () + 133..146 '(&o).as_ref()': Option<&u32> + 134..136 '&o': &Option + 135..136 'o': Option + 152..153 'o': Option + 152..162 'o.as_ref()': Option<&u32> "### ); } @@ -1381,35 +1381,35 @@ fn test() -> i128 { } "#), @r###" - [53; 57) 'self': A - [65; 87) '{ ... }': T2 - [75; 79) 'self': A - [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 - [166; 171) 'id(x)': i128 - [169; 170) 'x': i128 - [182; 183) 'a': A - [186; 200) 'A { x: id(y) }': A - [193; 195) 'id': fn id(i128) -> i128 - [193; 198) 'id(y)': i128 - [196; 197) 'y': i128 - [211; 212) 'z': i128 - [215; 217) 'id': fn id(i128) -> i128 - [215; 222) 'id(a.x)': i128 - [218; 219) 'a': A - [218; 221) 'a.x': i128 - [233; 234) 'b': A - [237; 247) 'A { x: z }': A - [244; 245) 'z': i128 - [254; 255) 'b': A - [254; 259) 'b.x()': i128 + 53..57 'self': A + 65..87 '{ ... }': T2 + 75..79 'self': A + 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 + 166..171 'id(x)': i128 + 169..170 'x': i128 + 182..183 'a': A + 186..200 'A { x: id(y) }': A + 193..195 'id': fn id(i128) -> i128 + 193..198 'id(y)': i128 + 196..197 'y': i128 + 211..212 'z': i128 + 215..217 'id': fn id(i128) -> i128 + 215..222 'id(a.x)': i128 + 218..219 'a': A + 218..221 'a.x': i128 + 233..234 'b': A + 237..247 'A { x: z }': A + 244..245 'z': i128 + 254..255 'b': A + 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) { } "#), @r###" - [116; 117) 'x': A - [124; 125) 'y': A<&str, u128> - [138; 139) 'z': A - [154; 211) '{ ...z.y; }': () - [160; 161) 'x': A - [160; 163) 'x.x': u32 - [169; 170) 'x': A - [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 - [196; 199) 'z.x': u8 - [205; 206) 'z': A - [205; 208) 'z.y': i8 + 116..117 'x': A + 124..125 'y': A<&str, u128> + 138..139 'z': A + 154..211 '{ ...z.y; }': () + 160..161 'x': A + 160..163 'x.x': u32 + 169..170 'x': A + 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 + 196..199 'z.x': u8 + 205..206 'z': A + 205..208 'z.y': i8 "### ) } @@ -1509,8 +1509,8 @@ type Bar = A; 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 - [103; 108) 'id(y)': u32 - [106; 107) 'y': u32 - [118; 119) 'x': bool - [128; 133) 'clone': fn clone(&bool) -> bool - [128; 136) 'clone(z)': bool - [134; 135) 'z': &bool - [142; 152) 'id::': fn id(i128) -> i128 - [142; 155) 'id::(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 + 103..108 'id(y)': u32 + 106..107 'y': u32 + 118..119 'x': bool + 128..133 'clone': fn clone(&bool) -> bool + 128..136 'clone(z)': bool + 134..135 'z': &bool + 142..152 'id::': fn id(i128) -> i128 + 142..155 'id::(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 - [119; 120) 'S': S(u32) -> S - [119; 129) 'S(unknown)': S - [121; 128) 'unknown': u32 - [135; 138) 'foo': fn foo>(S) - [135; 141) 'foo(s)': () - [139; 140) 's': S + 86..87 't': T + 92..94 '{}': () + 105..144 '{ ...(s); }': () + 115..116 's': S + 119..120 'S': S(u32) -> S + 119..129 'S(unknown)': S + 121..128 'unknown': u32 + 135..138 'foo': fn foo>(S) + 135..141 'foo(s)': () + 139..140 's': S "### ); } @@ -284,17 +284,17 @@ fn test() { } "#), @r###" - [87; 88) 't': T - [98; 100) '{}': () - [111; 163) '{ ...(s); }': () - [121; 122) 's': S - [125; 126) 'S': S(u32) -> S - [125; 135) 'S(unknown)': S - [127; 134) 'unknown': u32 - [145; 146) 'x': u32 - [154; 157) 'foo': fn foo>(S) -> u32 - [154; 160) 'foo(s)': u32 - [158; 159) 's': S + 87..88 't': T + 98..100 '{}': () + 111..163 '{ ...(s); }': () + 121..122 's': S + 125..126 'S': S(u32) -> S + 125..135 'S(unknown)': S + 127..134 'unknown': u32 + 145..146 'x': u32 + 154..157 'foo': fn foo>(S) -> u32 + 154..160 'foo(s)': u32 + 158..159 's': S "### ); } @@ -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() { } "#), @r###" - [108; 261) '{ ...ter; }': () - [118; 119) 'x': u32 - [145; 146) '1': u32 - [156; 157) 'y': Iterable::Item - [183; 192) 'no_matter': Iterable::Item - [202; 203) 'z': Iterable::Item - [215; 224) 'no_matter': Iterable::Item - [234; 235) 'a': Iterable::Item - [249; 258) 'no_matter': Iterable::Item + 108..261 '{ ...ter; }': () + 118..119 'x': u32 + 145..146 '1': u32 + 156..157 'y': Iterable::Item + 183..192 'no_matter': Iterable::Item + 202..203 'z': Iterable::Item + 215..224 'no_matter': Iterable::Item + 234..235 'a': Iterable::Item + 249..258 'no_matter': Iterable::Item "### ); } @@ -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) -> ::Item - [248; 255) 'foo1(S)': u32 - [253; 254) 'S': S - [265; 266) 'y': u32 - [269; 273) 'foo2': fn foo2(S) -> ::Item - [269; 276) 'foo2(S)': u32 - [274; 275) 'S': S - [286; 287) 'z': u32 - [290; 294) 'foo3': fn foo3(S) -> ::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) -> ::Item + 248..255 'foo1(S)': u32 + 253..254 'S': S + 265..266 'y': u32 + 269..273 'foo2': fn foo2(S) -> ::Item + 269..276 'foo2(S)': u32 + 274..275 'S': S + 286..287 'z': u32 + 290..294 'foo3': fn foo3(S) -> ::Item + 290..297 'foo3(S)': u32 + 295..296 'S': S "### ); } @@ -431,9 +431,9 @@ fn test>() { } "#), @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, y: &impl Trait) { } "#, true), @r###" - [30; 34) 'self': &Self - [55; 59) 'self': &Self - [78; 79) 'x': impl Trait - [98; 100) '{}': () - [155; 156) 'x': impl Trait - [175; 176) 'y': &impl Trait - [196; 324) '{ ...2(); }': () - [202; 203) 'x': impl Trait - [209; 210) 'y': &impl Trait - [220; 221) 'z': S - [224; 225) 'S': S(u16) -> S - [224; 228) 'S(1)': S - [226; 227) '1': u16 - [234; 237) 'bar': fn bar(S) - [234; 240) 'bar(z)': () - [238; 239) 'z': S - [246; 247) 'x': impl Trait - [246; 253) 'x.foo()': u64 - [259; 260) 'y': &impl Trait - [259; 266) 'y.foo()': u32 - [272; 273) 'z': S - [272; 279) 'z.foo()': u16 - [285; 286) 'x': impl Trait - [285; 293) 'x.foo2()': i64 - [299; 300) 'y': &impl Trait - [299; 307) 'y.foo2()': i64 - [313; 314) 'z': S - [313; 321) 'z.foo2()': i64 + 30..34 'self': &Self + 55..59 'self': &Self + 78..79 'x': impl Trait + 98..100 '{}': () + 155..156 'x': impl Trait + 175..176 'y': &impl Trait + 196..324 '{ ...2(); }': () + 202..203 'x': impl Trait + 209..210 'y': &impl Trait + 220..221 'z': S + 224..225 'S': S(u16) -> S + 224..228 'S(1)': S + 226..227 '1': u16 + 234..237 'bar': fn bar(S) + 234..240 'bar(z)': () + 238..239 'z': S + 246..247 'x': impl Trait + 246..253 'x.foo()': u64 + 259..260 'y': &impl Trait + 259..266 'y.foo()': u32 + 272..273 'z': S + 272..279 'z.foo()': u16 + 285..286 'x': impl Trait + 285..293 'x.foo2()': i64 + 299..300 'y': &impl Trait + 299..307 'y.foo2()': i64 + 313..314 'z': S + 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) '::bar': fn bar(S) -> {unknown} - [324; 342) '(S) -> {unknown} - [348; 357) 'F::bar(S)': {unknown} - [355; 356) 'S': S - [363; 378) 'Foo::bar::': fn bar<{unknown}, u32>(S) -> u32 - [363; 381) 'Foo::b...32>(S)': u32 - [379; 380) 'S': S - [387; 409) '': fn bar(S) -> u32 - [387; 412) '(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::': fn foo(S) -> u32 - [431; 444) 'foo::(S)': u32 - [442; 443) 'S': S - [450; 465) 'foo::': fn foo(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 '::bar': fn bar(S) -> {unknown} + 324..342 '(S) -> {unknown} + 348..357 'F::bar(S)': {unknown} + 355..356 'S': S + 363..378 'Foo::bar::': fn bar<{unknown}, u32>(S) -> u32 + 363..381 'Foo::b...32>(S)': u32 + 379..380 'S': S + 387..409 '': fn bar(S) -> u32 + 387..412 '(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::': fn foo(S) -> u32 + 431..444 'foo::(S)': u32 + 442..443 'S': S + 450..465 'foo::': fn foo(S) -> u32 + 450..468 'foo::<...32>(S)': u32 + 466..467 'S': S "### ); } @@ -1062,24 +1062,24 @@ fn test() { } "#, true), @r###" - [88; 92) 'self': F - [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::': F - [164; 179) 'F::.foo(S)': (u32, {unknown}) - [177; 178) 'S': S - [185; 193) 'F::': F - [185; 207) 'F::(S)': (u32, i32) - [205; 206) 'S': S - [213; 221) 'F::': F - [213; 240) 'F::(S)': (u32, i32) - [238; 239) 'S': S + 88..92 'self': F + 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::': F + 164..179 'F::.foo(S)': (u32, {unknown}) + 177..178 'S': S + 185..193 'F::': F + 185..207 'F::(S)': (u32, i32) + 205..206 'S': S + 213..221 'F::': F + 213..240 'F::(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, y: &impl Trait) { } "#), @r###" - [30; 34) 'self': &Self - [55; 59) 'self': &Self - [99; 101) '{}': () - [111; 112) 'x': impl Trait - [131; 132) 'y': &impl Trait - [152; 269) '{ ...2(); }': () - [158; 159) 'x': impl Trait - [165; 166) 'y': &impl Trait - [176; 177) 'z': impl Trait - [180; 183) 'bar': fn bar() -> impl Trait - [180; 185) 'bar()': impl Trait - [191; 192) 'x': impl Trait - [191; 198) 'x.foo()': u64 - [204; 205) 'y': &impl Trait - [204; 211) 'y.foo()': u64 - [217; 218) 'z': impl Trait - [217; 224) 'z.foo()': u64 - [230; 231) 'x': impl Trait - [230; 238) 'x.foo2()': i64 - [244; 245) 'y': &impl Trait - [244; 252) 'y.foo2()': i64 - [258; 259) 'z': impl Trait - [258; 266) 'z.foo2()': i64 + 30..34 'self': &Self + 55..59 'self': &Self + 99..101 '{}': () + 111..112 'x': impl Trait + 131..132 'y': &impl Trait + 152..269 '{ ...2(); }': () + 158..159 'x': impl Trait + 165..166 'y': &impl Trait + 176..177 'z': impl Trait + 180..183 'bar': fn bar() -> impl Trait + 180..185 'bar()': impl Trait + 191..192 'x': impl Trait + 191..198 'x.foo()': u64 + 204..205 'y': &impl Trait + 204..211 'y.foo()': u64 + 217..218 'z': impl Trait + 217..224 'z.foo()': u64 + 230..231 'x': impl Trait + 230..238 'x.foo2()': i64 + 244..245 'y': &impl Trait + 244..252 'y.foo2()': i64 + 258..259 'z': impl Trait + 258..266 'z.foo2()': i64 "### ); } @@ -1183,29 +1183,29 @@ fn test(x: dyn Trait, y: &dyn Trait) { } "#), @r###" - [30; 34) 'self': &Self - [55; 59) 'self': &Self - [98; 100) '{}': () - [110; 111) 'x': dyn Trait - [129; 130) 'y': &dyn Trait - [149; 266) '{ ...2(); }': () - [155; 156) 'x': dyn Trait - [162; 163) 'y': &dyn Trait - [173; 174) 'z': dyn Trait - [177; 180) 'bar': fn bar() -> dyn Trait - [177; 182) 'bar()': dyn Trait - [188; 189) 'x': dyn Trait - [188; 195) 'x.foo()': u64 - [201; 202) 'y': &dyn Trait - [201; 208) 'y.foo()': u64 - [214; 215) 'z': dyn Trait - [214; 221) 'z.foo()': u64 - [227; 228) 'x': dyn Trait - [227; 235) 'x.foo2()': i64 - [241; 242) 'y': &dyn Trait - [241; 249) 'y.foo2()': i64 - [255; 256) 'z': dyn Trait - [255; 263) 'z.foo2()': i64 + 30..34 'self': &Self + 55..59 'self': &Self + 98..100 '{}': () + 110..111 'x': dyn Trait + 129..130 'y': &dyn Trait + 149..266 '{ ...2(); }': () + 155..156 'x': dyn Trait + 162..163 'y': &dyn Trait + 173..174 'z': dyn Trait + 177..180 'bar': fn bar() -> dyn Trait + 177..182 'bar()': dyn Trait + 188..189 'x': dyn Trait + 188..195 'x.foo()': u64 + 201..202 'y': &dyn Trait + 201..208 'y.foo()': u64 + 214..215 'z': dyn Trait + 214..221 'z.foo()': u64 + 227..228 'x': dyn Trait + 227..235 'x.foo2()': i64 + 241..242 'y': &dyn Trait + 241..249 'y.foo2()': i64 + 255..256 'z': dyn Trait + 255..263 'z.foo2()': i64 "### ); } @@ -1231,17 +1231,17 @@ fn test(s: S) { } "#), @r###" - [33; 37) 'self': &Self - [103; 107) 'self': &S - [129; 140) '{ loop {} }': &dyn Trait - [131; 138) 'loop {}': ! - [136; 138) '{}': () - [176; 180) 'self': &Self - [252; 253) 's': S - [268; 290) '{ ...z(); }': () - [274; 275) 's': S - [274; 281) 's.bar()': &dyn Trait - [274; 287) 's.bar().baz()': (u32, i32) + 33..37 'self': &Self + 103..107 'self': &S + 129..140 '{ loop {} }': &dyn Trait + 131..138 'loop {}': ! + 136..138 '{}': () + 176..180 'self': &Self + 252..253 's': S + 268..290 '{ ...z(); }': () + 274..275 's': S + 274..281 's.bar()': &dyn Trait + 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>(x: T, y: impl Trait) { } "#), @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 - [290; 398) '{ ...r>); }': () - [296; 299) 'get': fn get(T) -> ::Type - [296; 302) 'get(x)': u32 - [300; 301) 'x': T - [308; 312) 'get2': fn get2(T) -> u32 - [308; 315) 'get2(x)': u32 - [313; 314) 'x': T - [321; 324) 'get': fn get>(impl Trait) -> as Trait>::Type - [321; 327) 'get(y)': i64 - [325; 326) 'y': impl Trait - [333; 337) 'get2': fn get2>(impl Trait) -> i64 - [333; 340) 'get2(y)': i64 - [338; 339) 'y': impl Trait - [346; 349) 'get': fn get>(S) -> as Trait>::Type - [346; 357) 'get(set(S))': u64 - [350; 353) 'set': fn set>(S) -> S - [350; 356) 'set(S)': S - [354; 355) 'S': S - [363; 367) 'get2': fn get2>(S) -> u64 - [363; 375) 'get2(set(S))': u64 - [368; 371) 'set': fn set>(S) -> S - [368; 374) 'set(S)': S - [372; 373) 'S': S - [381; 385) 'get2': fn get2>(S) -> str - [381; 395) 'get2(S::)': str - [386; 394) 'S::': S + 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 + 290..398 '{ ...r>); }': () + 296..299 'get': fn get(T) -> ::Type + 296..302 'get(x)': u32 + 300..301 'x': T + 308..312 'get2': fn get2(T) -> u32 + 308..315 'get2(x)': u32 + 313..314 'x': T + 321..324 'get': fn get>(impl Trait) -> as Trait>::Type + 321..327 'get(y)': i64 + 325..326 'y': impl Trait + 333..337 'get2': fn get2>(impl Trait) -> i64 + 333..340 'get2(y)': i64 + 338..339 'y': impl Trait + 346..349 'get': fn get>(S) -> as Trait>::Type + 346..357 'get(set(S))': u64 + 350..353 'set': fn set>(S) -> S + 350..356 'set(S)': S + 354..355 'S': S + 363..367 'get2': fn get2>(S) -> u64 + 363..375 'get2(set(S))': u64 + 368..371 'set': fn set>(S) -> S + 368..374 'set(S)': S + 372..373 'S': S + 381..385 'get2': fn get2>(S) -> str + 381..395 'get2(S::)': str + 386..394 'S::': S "### ); } @@ -1448,11 +1448,11 @@ fn test>(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(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(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>(S) -> u64 - [265; 277) 'get2(set(S))': u64 - [270; 273) 'set': fn set>(S) -> S - [270; 276) 'set(S)': S - [274; 275) 'S': S + 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>(S) -> u64 + 265..277 'get2(set(S))': u64 + 270..273 'set': fn set>(S) -> S + 270..276 'set(S)': S + 274..275 'S': S "### ); } @@ -1603,15 +1603,15 @@ fn test 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 - [154; 155) 'f': F - [173; 175) '{}': () - [189; 308) '{ ... 1); }': () - [199; 200) 'x': Option - [203; 215) 'Option::Some': Some(u32) -> Option - [203; 221) 'Option...(1u32)': Option - [216; 220) '1u32': u32 - [227; 228) 'x': Option - [227; 243) 'x.map(...v + 1)': Option - [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 - [249; 265) 'x.map(... 1u64)': Option - [255; 264) '|_v| 1u64': |u32| -> u64 - [256; 258) '_v': u32 - [260; 264) '1u64': u64 - [275; 276) 'y': Option - [292; 293) 'x': Option - [292; 305) 'x.map(|_v| 1)': Option - [298; 304) '|_v| 1': |u32| -> i64 - [299; 301) '_v': u32 - [303; 304) '1': i64 + 148..152 'self': Option + 154..155 'f': F + 173..175 '{}': () + 189..308 '{ ... 1); }': () + 199..200 'x': Option + 203..215 'Option::Some': Some(u32) -> Option + 203..221 'Option...(1u32)': Option + 216..220 '1u32': u32 + 227..228 'x': Option + 227..243 'x.map(...v + 1)': Option + 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 + 249..265 'x.map(... 1u64)': Option + 255..264 '|_v| 1u64': |u32| -> u64 + 256..258 '_v': u32 + 260..264 '1u64': u64 + 275..276 'y': Option + 292..293 'x': Option + 292..305 'x.map(|_v| 1)': Option + 298..304 '|_v| 1': |u32| -> i64 + 299..301 '_v': u32 + 303..304 '1': i64 "### ); } @@ -1684,26 +1684,26 @@ fn test 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 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 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 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 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 - [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 + 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 { } "#, true), @r###" - [27; 28) 'x': impl Trait - [47; 58) '{ loop {} }': () - [49; 56) 'loop {}': ! - [54; 56) '{}': () - [69; 70) 'x': impl Trait - [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 - [229; 230) 'S': S(u32) -> S - [229; 241) 'S(default())': S - [231; 238) 'default': fn default() -> u32 - [231; 240) 'default()': u32 - [247; 250) 'foo': fn foo(S) - [247; 254) 'foo(s1)': () - [251; 253) 's1': S - [264; 265) 'x': i32 - [273; 276) 'bar': fn bar(S) -> i32 - [273; 290) 'bar(S(...lt()))': i32 - [277; 278) 'S': S(i32) -> S - [277; 289) 'S(default())': S - [279; 286) 'default': fn default() -> 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 + 47..58 '{ loop {} }': () + 49..56 'loop {}': ! + 54..56 '{}': () + 69..70 'x': impl Trait + 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 + 229..230 'S': S(u32) -> S + 229..241 'S(default())': S + 231..238 'default': fn default() -> u32 + 231..240 'default()': u32 + 247..250 'foo': fn foo(S) + 247..254 'foo(s1)': () + 251..253 's1': S + 264..265 'x': i32 + 273..276 'bar': fn bar(S) -> i32 + 273..290 'bar(S(...lt()))': i32 + 277..278 'S': S(i32) -> S + 277..289 'S(default())': S + 279..286 'default': fn default() -> 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 - [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 - [960; 967) 'loop {}': ! - [965; 967) '{}': () - [1156; 1287) '{ ... }); }': () - [1162; 1177) 'Vec::::new': fn new() -> Vec - [1162; 1179) 'Vec::<...:new()': Vec - [1162; 1191) 'Vec::<...iter()': IntoIter - [1162; 1256) 'Vec::<...one })': FilterMap, |i32| -> Option> - [1162; 1284) 'Vec::<... y; })': () - [1210; 1255) '|x| if...None }': |i32| -> Option - [1211; 1212) 'x': i32 - [1214; 1255) 'if x >...None }': Option - [1217; 1218) 'x': i32 - [1217; 1222) 'x > 0': bool - [1221; 1222) '0': i32 - [1223; 1241) '{ Some...u32) }': Option - [1225; 1229) 'Some': Some(u32) -> Option - [1225; 1239) 'Some(x as u32)': Option - [1230; 1231) 'x': i32 - [1230; 1238) 'x as u32': u32 - [1247; 1255) '{ None }': Option - [1249; 1253) 'None': Option - [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 + 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 + 960..967 'loop {}': ! + 965..967 '{}': () + 1156..1287 '{ ... }); }': () + 1162..1177 'Vec::::new': fn new() -> Vec + 1162..1179 'Vec::<...:new()': Vec + 1162..1191 'Vec::<...iter()': IntoIter + 1162..1256 'Vec::<...one })': FilterMap, |i32| -> Option> + 1162..1284 'Vec::<... y; })': () + 1210..1255 '|x| if...None }': |i32| -> Option + 1211..1212 'x': i32 + 1214..1255 'if x >...None }': Option + 1217..1218 'x': i32 + 1217..1222 'x > 0': bool + 1221..1222 '0': i32 + 1223..1241 '{ Some...u32) }': Option + 1225..1229 'Some': Some(u32) -> Option + 1225..1239 'Some(x as u32)': Option + 1230..1231 'x': i32 + 1230..1238 'x as u32': u32 + 1247..1255 '{ None }': Option + 1249..1253 'None': Option + 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 "### ); } -- cgit v1.2.3