1 files changed, 56 insertions, 56 deletions

diff --git a/crates/ra_hir_ty/src/tests/simple.rs b/crates/ra_hir_ty/src/tests/simple.rs
index b7204ec00..3803f5938 100644
--- a/crates/ra_hir_ty/src/tests/simple.rs
+++ b/crates/ra_hir_ty/src/tests/simple.rs
@@ -28,7 +28,7 @@ mod boxed {
 
 "#,
     );
-    assert_eq!("(Box<i32>, Box<Box<i32>>, Box<&i32>, Box<[i32;_]>)", type_at_pos(&db, pos));
+    assert_eq!("(Box<i32>, Box<Box<i32>>, Box<&i32>, Box<[i32; _]>)", type_at_pos(&db, pos));
 }
 
 #[test]
@@ -754,15 +754,15 @@ fn test() {
     [289; 295) 'self.0': T
     [315; 353) '{     ...))); }': ()
     [325; 326) 't': &i32
-    [329; 335) 'A::foo': fn foo<i32>(&A<T>) -> &T
+    [329; 335) 'A::foo': fn foo<i32>(&A<i32>) -> &i32
     [329; 350) 'A::foo...42))))': &i32
     [336; 349) '&&B(B(A(42)))': &&B<B<A<i32>>>
     [337; 349) '&B(B(A(42)))': &B<B<A<i32>>>
-    [338; 339) 'B': B<B<A<i32>>>(T) -> B<T>
+    [338; 339) 'B': B<B<A<i32>>>(B<A<i32>>) -> B<B<A<i32>>>
     [338; 349) 'B(B(A(42)))': B<B<A<i32>>>
-    [340; 341) 'B': B<A<i32>>(T) -> B<T>
+    [340; 341) 'B': B<A<i32>>(A<i32>) -> B<A<i32>>
     [340; 348) 'B(A(42))': B<A<i32>>
-    [342; 343) 'A': A<i32>(T) -> A<T>
+    [342; 343) 'A': A<i32>(i32) -> A<i32>
     [342; 347) 'A(42)': A<i32>
     [344; 346) '42': i32
     "###
@@ -817,16 +817,16 @@ fn test(a: A<i32>) {
     [326; 327) 'a': A<i32>
     [337; 383) '{     ...))); }': ()
     [347; 348) 't': &i32
-    [351; 352) 'A': A<i32>(*mut T) -> A<T>
+    [351; 352) 'A': A<i32>(*mut i32) -> A<i32>
     [351; 365) 'A(0 as *mut _)': A<i32>
     [351; 380) 'A(0 as...B(a)))': &i32
     [353; 354) '0': i32
     [353; 364) '0 as *mut _': *mut i32
     [370; 379) '&&B(B(a))': &&B<B<A<i32>>>
     [371; 379) '&B(B(a))': &B<B<A<i32>>>
-    [372; 373) 'B': B<B<A<i32>>>(T) -> B<T>
+    [372; 373) 'B': B<B<A<i32>>>(B<A<i32>>) -> B<B<A<i32>>>
     [372; 379) 'B(B(a))': B<B<A<i32>>>
-    [374; 375) 'B': B<A<i32>>(T) -> B<T>
+    [374; 375) 'B': B<A<i32>>(A<i32>) -> B<A<i32>>
     [374; 378) 'B(a)': B<A<i32>>
     [376; 377) 'a': A<i32>
     "###
@@ -1061,55 +1061,55 @@ fn test(x: &str, y: isize) {
     [9; 10) 'x': &str
     [18; 19) 'y': isize
     [28; 293) '{     ... []; }': ()
-    [38; 39) 'a': [&str;_]
-    [42; 45) '[x]': [&str;_]
+    [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;_]
+    [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;_]
+    [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;_]
+    [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;_]
+    [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;_]
+    [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;_]
+    [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;_]
+    [275; 276) 'x': [u8; _]
+    [288; 290) '[]': [u8; _]
     "###
     );
 }
@@ -1169,16 +1169,16 @@ fn test() {
 "#),
         @r###"
     [76; 184) '{     ...one; }': ()
-    [82; 83) 'A': A<i32>(T) -> A<T>
+    [82; 83) 'A': A<i32>(i32) -> A<i32>
     [82; 87) 'A(42)': A<i32>
     [84; 86) '42': i32
-    [93; 94) 'A': A<u128>(T) -> A<T>
+    [93; 94) 'A': A<u128>(u128) -> A<u128>
     [93; 102) 'A(42u128)': A<u128>
     [95; 101) '42u128': u128
-    [108; 112) 'Some': Some<&str>(T) -> Option<T>
+    [108; 112) 'Some': Some<&str>(&str) -> Option<&str>
     [108; 117) 'Some("x")': Option<&str>
     [113; 116) '"x"': &str
-    [123; 135) 'Option::Some': Some<&str>(T) -> Option<T>
+    [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}>
@@ -1205,14 +1205,14 @@ fn test() {
     [21; 26) '{ t }': T
     [23; 24) 't': T
     [38; 98) '{     ...(1); }': ()
-    [44; 46) 'id': fn id<u32>(T) -> T
+    [44; 46) 'id': fn id<u32>(u32) -> u32
     [44; 52) 'id(1u32)': u32
     [47; 51) '1u32': u32
-    [58; 68) 'id::<i128>': fn id<i128>(T) -> T
+    [58; 68) 'id::<i128>': fn id<i128>(i128) -> i128
     [58; 71) 'id::<i128>(1)': i128
     [69; 70) '1': i128
     [81; 82) 'x': u64
-    [90; 92) 'id': fn id<u64>(T) -> T
+    [90; 92) 'id': fn id<u64>(u64) -> u64
     [90; 95) 'id(1)': u64
     [93; 94) '1': u64
     "###
@@ -1220,7 +1220,7 @@ fn test() {
 }
 
 #[test]
-fn infer_impl_generics() {
+fn infer_impl_generics_basic() {
     assert_snapshot!(
         infer(r#"
 struct A<T1, T2> {
@@ -1349,16 +1349,16 @@ fn test() -> i128 {
     [146; 147) 'x': i128
     [150; 151) '1': i128
     [162; 163) 'y': i128
-    [166; 168) 'id': fn id<i128>(T) -> T
+    [166; 168) 'id': fn id<i128>(i128) -> i128
     [166; 171) 'id(x)': i128
     [169; 170) 'x': i128
     [182; 183) 'a': A<i128>
     [186; 200) 'A { x: id(y) }': A<i128>
-    [193; 195) 'id': fn id<i128>(T) -> T
+    [193; 195) 'id': fn id<i128>(i128) -> i128
     [193; 198) 'id(y)': i128
     [196; 197) 'y': i128
     [211; 212) 'z': i128
-    [215; 217) 'id': fn id<i128>(T) -> T
+    [215; 217) 'id': fn id<i128>(i128) -> i128
     [215; 222) 'id(a.x)': i128
     [218; 219) 'a': A<i128>
     [218; 221) 'a.x': i128
@@ -1502,14 +1502,14 @@ fn test() {
     [78; 158) '{     ...(1); }': ()
     [88; 89) 'y': u32
     [92; 97) '10u32': u32
-    [103; 105) 'id': fn id<u32>(T) -> T
+    [103; 105) 'id': fn id<u32>(u32) -> u32
     [103; 108) 'id(y)': u32
     [106; 107) 'y': u32
     [118; 119) 'x': bool
-    [128; 133) 'clone': fn clone<bool>(&T) -> T
+    [128; 133) 'clone': fn clone<bool>(&bool) -> bool
     [128; 136) 'clone(z)': bool
     [134; 135) 'z': &bool
-    [142; 152) 'id::<i128>': fn id<i128>(T) -> T
+    [142; 152) 'id::<i128>': fn id<i128>(i128) -> i128
     [142; 155) 'id::<i128>(1)': i128
     [153; 154) '1': i128
     "###