aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir_ty/src/tests')
-rw-r--r--crates/ra_hir_ty/src/tests/traits.rs22
1 files changed, 11 insertions, 11 deletions
diff --git a/crates/ra_hir_ty/src/tests/traits.rs b/crates/ra_hir_ty/src/tests/traits.rs
index f90dadc08..c6851fb69 100644
--- a/crates/ra_hir_ty/src/tests/traits.rs
+++ b/crates/ra_hir_ty/src/tests/traits.rs
@@ -886,7 +886,7 @@ fn test(x: impl Trait<u64>, y: &impl Trait<u32>) {
886 [224; 225) 'S': S<u16>(u16) -> S<u16> 886 [224; 225) 'S': S<u16>(u16) -> S<u16>
887 [224; 228) 'S(1)': S<u16> 887 [224; 228) 'S(1)': S<u16>
888 [226; 227) '1': u16 888 [226; 227) '1': u16
889 [234; 237) 'bar': fn bar<S<u16>>(S<u16>) -> () 889 [234; 237) 'bar': fn bar(S<u16>) -> ()
890 [234; 240) 'bar(z)': () 890 [234; 240) 'bar(z)': ()
891 [238; 239) 'z': S<u16> 891 [238; 239) 'z': S<u16>
892 [246; 247) 'x': impl Trait<u64> 892 [246; 247) 'x': impl Trait<u64>
@@ -943,28 +943,28 @@ fn test() {
943 [222; 229) 'loop {}': ! 943 [222; 229) 'loop {}': !
944 [227; 229) '{}': () 944 [227; 229) '{}': ()
945 [301; 510) '{ ... i32 }': () 945 [301; 510) '{ ... i32 }': ()
946 [307; 315) 'Foo::bar': fn bar<{unknown}, {unknown}, S>(S) -> {unknown} 946 [307; 315) 'Foo::bar': fn bar<{unknown}, {unknown}>(S) -> {unknown}
947 [307; 318) 'Foo::bar(S)': {unknown} 947 [307; 318) 'Foo::bar(S)': {unknown}
948 [316; 317) 'S': S 948 [316; 317) 'S': S
949 [324; 339) '<F as Foo>::bar': fn bar<F, {unknown}, S>(S) -> {unknown} 949 [324; 339) '<F as Foo>::bar': fn bar<F, {unknown}>(S) -> {unknown}
950 [324; 342) '<F as ...bar(S)': {unknown} 950 [324; 342) '<F as ...bar(S)': {unknown}
951 [340; 341) 'S': S 951 [340; 341) 'S': S
952 [348; 354) 'F::bar': fn bar<F, {unknown}, S>(S) -> {unknown} 952 [348; 354) 'F::bar': fn bar<F, {unknown}>(S) -> {unknown}
953 [348; 357) 'F::bar(S)': {unknown} 953 [348; 357) 'F::bar(S)': {unknown}
954 [355; 356) 'S': S 954 [355; 356) 'S': S
955 [363; 378) 'Foo::bar::<u32>': fn bar<{unknown}, u32, S>(S) -> u32 955 [363; 378) 'Foo::bar::<u32>': fn bar<{unknown}, u32>(S) -> u32
956 [363; 381) 'Foo::b...32>(S)': u32 956 [363; 381) 'Foo::b...32>(S)': u32
957 [379; 380) 'S': S 957 [379; 380) 'S': S
958 [387; 409) '<F as ...:<u32>': fn bar<F, u32, S>(S) -> u32 958 [387; 409) '<F as ...:<u32>': fn bar<F, u32>(S) -> u32
959 [387; 412) '<F as ...32>(S)': u32 959 [387; 412) '<F as ...32>(S)': u32
960 [410; 411) 'S': S 960 [410; 411) 'S': S
961 [419; 422) 'foo': fn foo<{unknown}, S>(S) -> {unknown} 961 [419; 422) 'foo': fn foo<{unknown}>(S) -> {unknown}
962 [419; 425) 'foo(S)': {unknown} 962 [419; 425) 'foo(S)': {unknown}
963 [423; 424) 'S': S 963 [423; 424) 'S': S
964 [431; 441) 'foo::<u32>': fn foo<u32, S>(S) -> u32 964 [431; 441) 'foo::<u32>': fn foo<u32>(S) -> u32
965 [431; 444) 'foo::<u32>(S)': u32 965 [431; 444) 'foo::<u32>(S)': u32
966 [442; 443) 'S': S 966 [442; 443) 'S': S
967 [450; 465) 'foo::<u32, i32>': fn foo<u32, S>(S) -> u32 967 [450; 465) 'foo::<u32, i32>': fn foo<u32>(S) -> u32
968 [450; 468) 'foo::<...32>(S)': u32 968 [450; 468) 'foo::<...32>(S)': u32
969 [466; 467) 'S': S 969 [466; 467) 'S': S
970 "### 970 "###
@@ -1794,11 +1794,11 @@ fn test() -> impl Trait<i32> {
1794 [229; 241) 'S(default())': S<u32> 1794 [229; 241) 'S(default())': S<u32>
1795 [231; 238) 'default': fn default<u32>() -> u32 1795 [231; 238) 'default': fn default<u32>() -> u32
1796 [231; 240) 'default()': u32 1796 [231; 240) 'default()': u32
1797 [247; 250) 'foo': fn foo<S<u32>>(S<u32>) -> () 1797 [247; 250) 'foo': fn foo(S<u32>) -> ()
1798 [247; 254) 'foo(s1)': () 1798 [247; 254) 'foo(s1)': ()
1799 [251; 253) 's1': S<u32> 1799 [251; 253) 's1': S<u32>
1800 [264; 265) 'x': i32 1800 [264; 265) 'x': i32
1801 [273; 276) 'bar': fn bar<i32, S<i32>>(S<i32>) -> i32 1801 [273; 276) 'bar': fn bar<i32>(S<i32>) -> i32
1802 [273; 290) 'bar(S(...lt()))': i32 1802 [273; 290) 'bar(S(...lt()))': i32
1803 [277; 278) 'S': S<i32>(i32) -> S<i32> 1803 [277; 278) 'S': S<i32>(i32) -> S<i32>
1804 [277; 289) 'S(default())': S<i32> 1804 [277; 289) 'S(default())': S<i32>