diff options
Diffstat (limited to 'crates/ra_hir_ty/src/tests/traits.rs')
-rw-r--r-- | crates/ra_hir_ty/src/tests/traits.rs | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/crates/ra_hir_ty/src/tests/traits.rs b/crates/ra_hir_ty/src/tests/traits.rs index 764ab2800..eae6e9681 100644 --- a/crates/ra_hir_ty/src/tests/traits.rs +++ b/crates/ra_hir_ty/src/tests/traits.rs | |||
@@ -261,10 +261,10 @@ fn test() { | |||
261 | [92; 94) '{}': () | 261 | [92; 94) '{}': () |
262 | [105; 144) '{ ...(s); }': () | 262 | [105; 144) '{ ...(s); }': () |
263 | [115; 116) 's': S<u32> | 263 | [115; 116) 's': S<u32> |
264 | [119; 120) 'S': S<u32>(T) -> S<T> | 264 | [119; 120) 'S': S<u32>(u32) -> S<u32> |
265 | [119; 129) 'S(unknown)': S<u32> | 265 | [119; 129) 'S(unknown)': S<u32> |
266 | [121; 128) 'unknown': u32 | 266 | [121; 128) 'unknown': u32 |
267 | [135; 138) 'foo': fn foo<S<u32>>(T) -> () | 267 | [135; 138) 'foo': fn foo<S<u32>>(S<u32>) -> () |
268 | [135; 141) 'foo(s)': () | 268 | [135; 141) 'foo(s)': () |
269 | [139; 140) 's': S<u32> | 269 | [139; 140) 's': S<u32> |
270 | "### | 270 | "### |
@@ -289,11 +289,11 @@ fn test() { | |||
289 | [98; 100) '{}': () | 289 | [98; 100) '{}': () |
290 | [111; 163) '{ ...(s); }': () | 290 | [111; 163) '{ ...(s); }': () |
291 | [121; 122) 's': S<u32> | 291 | [121; 122) 's': S<u32> |
292 | [125; 126) 'S': S<u32>(T) -> S<T> | 292 | [125; 126) 'S': S<u32>(u32) -> S<u32> |
293 | [125; 135) 'S(unknown)': S<u32> | 293 | [125; 135) 'S(unknown)': S<u32> |
294 | [127; 134) 'unknown': u32 | 294 | [127; 134) 'unknown': u32 |
295 | [145; 146) 'x': u32 | 295 | [145; 146) 'x': u32 |
296 | [154; 157) 'foo': fn foo<u32, S<u32>>(T) -> U | 296 | [154; 157) 'foo': fn foo<u32, S<u32>>(S<u32>) -> u32 |
297 | [154; 160) 'foo(s)': u32 | 297 | [154; 160) 'foo(s)': u32 |
298 | [158; 159) 's': S<u32> | 298 | [158; 159) 's': S<u32> |
299 | "### | 299 | "### |
@@ -1066,26 +1066,26 @@ fn test<T: Trait<Type = u32>>(x: T, y: impl Trait<Type = i64>) { | |||
1066 | [296; 299) 'get': fn get<T>(T) -> <T as Trait>::Type | 1066 | [296; 299) 'get': fn get<T>(T) -> <T as Trait>::Type |
1067 | [296; 302) 'get(x)': {unknown} | 1067 | [296; 302) 'get(x)': {unknown} |
1068 | [300; 301) 'x': T | 1068 | [300; 301) 'x': T |
1069 | [308; 312) 'get2': fn get2<{unknown}, T>(T) -> U | 1069 | [308; 312) 'get2': fn get2<{unknown}, T>(T) -> {unknown} |
1070 | [308; 315) 'get2(x)': {unknown} | 1070 | [308; 315) 'get2(x)': {unknown} |
1071 | [313; 314) 'x': T | 1071 | [313; 314) 'x': T |
1072 | [321; 324) 'get': fn get<impl Trait<Type = i64>>(T) -> <T as Trait>::Type | 1072 | [321; 324) 'get': fn get<impl Trait<Type = i64>>(impl Trait<Type = i64>) -> <impl Trait<Type = i64> as Trait>::Type |
1073 | [321; 327) 'get(y)': {unknown} | 1073 | [321; 327) 'get(y)': {unknown} |
1074 | [325; 326) 'y': impl Trait<Type = i64> | 1074 | [325; 326) 'y': impl Trait<Type = i64> |
1075 | [333; 337) 'get2': fn get2<{unknown}, impl Trait<Type = i64>>(T) -> U | 1075 | [333; 337) 'get2': fn get2<{unknown}, impl Trait<Type = i64>>(impl Trait<Type = i64>) -> {unknown} |
1076 | [333; 340) 'get2(y)': {unknown} | 1076 | [333; 340) 'get2(y)': {unknown} |
1077 | [338; 339) 'y': impl Trait<Type = i64> | 1077 | [338; 339) 'y': impl Trait<Type = i64> |
1078 | [346; 349) 'get': fn get<S<u64>>(T) -> <T as Trait>::Type | 1078 | [346; 349) 'get': fn get<S<u64>>(S<u64>) -> <S<u64> as Trait>::Type |
1079 | [346; 357) 'get(set(S))': u64 | 1079 | [346; 357) 'get(set(S))': u64 |
1080 | [350; 353) 'set': fn set<S<u64>>(T) -> T | 1080 | [350; 353) 'set': fn set<S<u64>>(S<u64>) -> S<u64> |
1081 | [350; 356) 'set(S)': S<u64> | 1081 | [350; 356) 'set(S)': S<u64> |
1082 | [354; 355) 'S': S<u64> | 1082 | [354; 355) 'S': S<u64> |
1083 | [363; 367) 'get2': fn get2<u64, S<u64>>(T) -> U | 1083 | [363; 367) 'get2': fn get2<u64, S<u64>>(S<u64>) -> u64 |
1084 | [363; 375) 'get2(set(S))': u64 | 1084 | [363; 375) 'get2(set(S))': u64 |
1085 | [368; 371) 'set': fn set<S<u64>>(T) -> T | 1085 | [368; 371) 'set': fn set<S<u64>>(S<u64>) -> S<u64> |
1086 | [368; 374) 'set(S)': S<u64> | 1086 | [368; 374) 'set(S)': S<u64> |
1087 | [372; 373) 'S': S<u64> | 1087 | [372; 373) 'S': S<u64> |
1088 | [381; 385) 'get2': fn get2<str, S<str>>(T) -> U | 1088 | [381; 385) 'get2': fn get2<str, S<str>>(S<str>) -> str |
1089 | [381; 395) 'get2(S::<str>)': str | 1089 | [381; 395) 'get2(S::<str>)': str |
1090 | [386; 394) 'S::<str>': S<str> | 1090 | [386; 394) 'S::<str>': S<str> |
1091 | "### | 1091 | "### |
@@ -1258,9 +1258,9 @@ fn test() { | |||
1258 | [157; 160) '{t}': T | 1258 | [157; 160) '{t}': T |
1259 | [158; 159) 't': T | 1259 | [158; 159) 't': T |
1260 | [259; 280) '{ ...S)); }': () | 1260 | [259; 280) '{ ...S)); }': () |
1261 | [265; 269) 'get2': fn get2<u64, S<u64>>(T) -> U | 1261 | [265; 269) 'get2': fn get2<u64, S<u64>>(S<u64>) -> u64 |
1262 | [265; 277) 'get2(set(S))': u64 | 1262 | [265; 277) 'get2(set(S))': u64 |
1263 | [270; 273) 'set': fn set<S<u64>>(T) -> T | 1263 | [270; 273) 'set': fn set<S<u64>>(S<u64>) -> S<u64> |
1264 | [270; 276) 'set(S)': S<u64> | 1264 | [270; 276) 'set(S)': S<u64> |
1265 | [274; 275) 'S': S<u64> | 1265 | [274; 275) 'S': S<u64> |
1266 | "### | 1266 | "### |
@@ -1432,7 +1432,7 @@ fn test() { | |||
1432 | [340; 342) '{}': () | 1432 | [340; 342) '{}': () |
1433 | [356; 515) '{ ... S); }': () | 1433 | [356; 515) '{ ... S); }': () |
1434 | [366; 368) 'x1': u64 | 1434 | [366; 368) 'x1': u64 |
1435 | [371; 375) 'foo1': fn foo1<S, u64, |S| -> u64>(T, F) -> U | 1435 | [371; 375) 'foo1': fn foo1<S, u64, |S| -> u64>(S, |S| -> u64) -> u64 |
1436 | [371; 394) 'foo1(S...hod())': u64 | 1436 | [371; 394) 'foo1(S...hod())': u64 |
1437 | [376; 377) 'S': S | 1437 | [376; 377) 'S': S |
1438 | [379; 393) '|s| s.method()': |S| -> u64 | 1438 | [379; 393) '|s| s.method()': |S| -> u64 |
@@ -1440,7 +1440,7 @@ fn test() { | |||
1440 | [383; 384) 's': S | 1440 | [383; 384) 's': S |
1441 | [383; 393) 's.method()': u64 | 1441 | [383; 393) 's.method()': u64 |
1442 | [404; 406) 'x2': u64 | 1442 | [404; 406) 'x2': u64 |
1443 | [409; 413) 'foo2': fn foo2<S, u64, |S| -> u64>(F, T) -> U | 1443 | [409; 413) 'foo2': fn foo2<S, u64, |S| -> u64>(|S| -> u64, S) -> u64 |
1444 | [409; 432) 'foo2(|...(), S)': u64 | 1444 | [409; 432) 'foo2(|...(), S)': u64 |
1445 | [414; 428) '|s| s.method()': |S| -> u64 | 1445 | [414; 428) '|s| s.method()': |S| -> u64 |
1446 | [415; 416) 's': S | 1446 | [415; 416) 's': S |