7 files changed, 73 insertions, 72 deletions

diff --git a/crates/ra_hir_ty/src/lib.rs b/crates/ra_hir_ty/src/lib.rs
index 79084bb3e..1f0fd1128 100644
--- a/crates/ra_hir_ty/src/lib.rs
+++ b/crates/ra_hir_ty/src/lib.rs
@@ -912,7 +912,8 @@ impl HirDisplay for ApplicationTy {
                 write!(f, ") -> {}", sig.ret().display(f.db))?;
             }
             TypeCtor::FnDef(def) => {
-                let sig = f.db.callable_item_signature(def);
+                let sig = f.db.callable_item_signature(def)
+                    .subst(&self.parameters);
                 let name = match def {
                     CallableDef::FunctionId(ff) => f.db.function_data(ff).name.clone(),
                     CallableDef::StructId(s) => f.db.struct_data(s).name.clone(),
@@ -933,8 +934,8 @@ impl HirDisplay for ApplicationTy {
                     write!(f, ">")?;
                 }
                 write!(f, "(")?;
-                f.write_joined(sig.value.params(), ", ")?;
-                write!(f, ") -> {}", sig.value.ret().display(f.db))?;
+                f.write_joined(sig.params(), ", ")?;
+                write!(f, ") -> {}", sig.ret().display(f.db))?;
             }
             TypeCtor::Adt(def_id) => {
                 let name = match def_id {
diff --git a/crates/ra_hir_ty/src/tests/coercion.rs b/crates/ra_hir_ty/src/tests/coercion.rs
index 76a1b46c0..fc5ef36a5 100644
--- a/crates/ra_hir_ty/src/tests/coercion.rs
+++ b/crates/ra_hir_ty/src/tests/coercion.rs
@@ -75,7 +75,7 @@ fn test2() {
     [124; 131) 'loop {}': !
     [129; 131) '{}': ()
     [160; 173) '{     gen() }': *mut [U]
-    [166; 169) 'gen': fn gen<U>() -> *mut [T; _]
+    [166; 169) 'gen': fn gen<U>() -> *mut [U; _]
     [166; 171) 'gen()': *mut [U; _]
     [186; 420) '{     ...rr); }': ()
     [196; 199) 'arr': &[u8; _]
@@ -85,14 +85,14 @@ fn test2() {
     [227; 228) 'a': &[u8]
     [237; 240) 'arr': &[u8; _]
     [250; 251) 'b': u8
-    [254; 255) 'f': fn f<u8>(&[T]) -> T
+    [254; 255) 'f': fn f<u8>(&[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<u8>(S<&[T]>) -> T
+    [301; 302) 'g': fn g<u8>(S<&[u8]>) -> u8
     [301; 316) 'g(S { a: arr })': u8
     [303; 315) 'S { a: arr }': S<&[u8]>
     [310; 313) 'arr': &[u8; _]
@@ -164,15 +164,15 @@ fn test(a: A<[u8; 2]>, b: B<[u8; 2]>, c: C<[u8; 2]>) {
     [400; 401) 'c': C<[u8; _]>
     [415; 481) '{     ...(c); }': ()
     [425; 426) 'd': A<[{unknown}]>
-    [429; 433) 'foo1': fn foo1<{unknown}>(A<[T]>) -> A<[T]>
+    [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<u8>(B<[T]>) -> B<[T]>
+    [450; 454) 'foo2': fn foo2<u8>(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<u8>(C<[T]>) -> C<[T]>
+    [471; 475) 'foo3': fn foo3<u8>(C<[u8]>) -> C<[u8]>
     [471; 478) 'foo3(c)': C<[u8]>
     [476; 477) 'c': C<[u8; _]>
     "###
@@ -202,7 +202,7 @@ fn test() {
     [64; 123) 'if tru...     }': &[i32]
     [67; 71) 'true': bool
     [72; 97) '{     ...     }': &[i32]
-    [82; 85) 'foo': fn foo<i32>(&[T]) -> &[T]
+    [82; 85) 'foo': fn foo<i32>(&[i32]) -> &[i32]
     [82; 91) 'foo(&[1])': &[i32]
     [86; 90) '&[1]': &[i32; _]
     [87; 90) '[1]': [i32; _]
@@ -242,7 +242,7 @@ fn test() {
     [83; 86) '[1]': [i32; _]
     [84; 85) '1': i32
     [98; 123) '{     ...     }': &[i32]
-    [108; 111) 'foo': fn foo<i32>(&[T]) -> &[T]
+    [108; 111) 'foo': fn foo<i32>(&[i32]) -> &[i32]
     [108; 117) 'foo(&[1])': &[i32]
     [112; 116) '&[1]': &[i32; _]
     [113; 116) '[1]': [i32; _]
@@ -275,7 +275,7 @@ fn test(i: i32) {
     [70; 147) 'match ...     }': &[i32]
     [76; 77) 'i': i32
     [88; 89) '2': i32
-    [93; 96) 'foo': fn foo<i32>(&[T]) -> &[T]
+    [93; 96) 'foo': fn foo<i32>(&[i32]) -> &[i32]
     [93; 102) 'foo(&[2])': &[i32]
     [97; 101) '&[2]': &[i32; _]
     [98; 101) '[2]': [i32; _]
@@ -320,7 +320,7 @@ fn test(i: i32) {
     [94; 97) '[1]': [i32; _]
     [95; 96) '1': i32
     [107; 108) '2': i32
-    [112; 115) 'foo': fn foo<i32>(&[T]) -> &[T]
+    [112; 115) 'foo': fn foo<i32>(&[i32]) -> &[i32]
     [112; 121) 'foo(&[2])': &[i32]
     [116; 120) '&[2]': &[i32; _]
     [117; 120) '[2]': [i32; _]
@@ -438,16 +438,16 @@ fn test() {
     [43; 45) '*x': T
     [44; 45) 'x': &T
     [58; 127) '{     ...oo); }': ()
-    [64; 73) 'takes_ref': fn takes_ref<Foo>(&T) -> T
+    [64; 73) 'takes_ref': fn takes_ref<Foo>(&Foo) -> Foo
     [64; 79) 'takes_ref(&Foo)': Foo
     [74; 78) '&Foo': &Foo
     [75; 78) 'Foo': Foo
-    [85; 94) 'takes_ref': fn takes_ref<&Foo>(&T) -> T
+    [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>(&T) -> T
+    [107; 116) 'takes_ref': fn takes_ref<&&Foo>(&&&Foo) -> &&Foo
     [107; 124) 'takes_...&&Foo)': &&Foo
     [117; 123) '&&&Foo': &&&Foo
     [118; 123) '&&Foo': &&Foo
diff --git a/crates/ra_hir_ty/src/tests/method_resolution.rs b/crates/ra_hir_ty/src/tests/method_resolution.rs
index ce9a06fde..6c7f6706a 100644
--- a/crates/ra_hir_ty/src/tests/method_resolution.rs
+++ b/crates/ra_hir_ty/src/tests/method_resolution.rs
@@ -27,7 +27,7 @@ fn test() {
     [66; 73) 'loop {}': !
     [71; 73) '{}': ()
     [133; 160) '{     ...o"); }': ()
-    [139; 149) '<[_]>::foo': fn foo<u8>(&[T]) -> T
+    [139; 149) '<[_]>::foo': fn foo<u8>(&[u8]) -> u8
     [139; 157) '<[_]>:..."foo")': u8
     [150; 156) 'b"foo"': &[u8]
     "###
@@ -175,7 +175,7 @@ fn test() {
     [98; 101) 'val': T
     [123; 155) '{     ...32); }': ()
     [133; 134) 'a': Gen<u32>
-    [137; 146) 'Gen::make': fn make<u32>(T) -> Gen<T>
+    [137; 146) 'Gen::make': fn make<u32>(u32) -> Gen<u32>
     [137; 152) 'Gen::make(0u32)': Gen<u32>
     [147; 151) '0u32': u32
     "###
@@ -206,7 +206,7 @@ fn test() {
     [95; 98) '{ }': ()
     [118; 146) '{     ...e(); }': ()
     [128; 129) 'a': Gen<u32>
-    [132; 141) 'Gen::make': fn make<u32>() -> Gen<T>
+    [132; 141) 'Gen::make': fn make<u32>() -> Gen<u32>
     [132; 143) 'Gen::make()': Gen<u32>
     "###
     );
@@ -260,7 +260,7 @@ fn test() {
     [91; 94) '{ }': ()
     [114; 149) '{     ...e(); }': ()
     [124; 125) 'a': Gen<u32>
-    [128; 144) 'Gen::<...::make': fn make<u32>() -> Gen<T>
+    [128; 144) 'Gen::<...::make': fn make<u32>() -> Gen<u32>
     [128; 146) 'Gen::<...make()': Gen<u32>
     "###
     );
@@ -291,7 +291,7 @@ fn test() {
     [117; 120) '{ }': ()
     [140; 180) '{     ...e(); }': ()
     [150; 151) 'a': Gen<u32, u64>
-    [154; 175) 'Gen::<...::make': fn make<u64>() -> Gen<u32, T>
+    [154; 175) 'Gen::<...::make': fn make<u64>() -> Gen<u32, u64>
     [154; 177) 'Gen::<...make()': Gen<u32, u64>
     "###
     );
@@ -475,7 +475,7 @@ fn test() {
         @r###"
     [33; 37) 'self': &Self
     [102; 127) '{     ...d(); }': ()
-    [108; 109) 'S': S<u32>(T) -> S<T>
+    [108; 109) 'S': S<u32>(u32) -> S<u32>
     [108; 115) 'S(1u32)': S<u32>
     [108; 124) 'S(1u32...thod()': u32
     [110; 114) '1u32': u32
@@ -501,13 +501,13 @@ fn test() {
         @r###"
     [87; 193) '{     ...t(); }': ()
     [97; 99) 's1': S
-    [105; 121) 'Defaul...efault': fn default<S>() -> Self
+    [105; 121) 'Defaul...efault': fn default<S>() -> S
     [105; 123) 'Defaul...ault()': S
     [133; 135) 's2': S
-    [138; 148) 'S::default': fn default<S>() -> Self
+    [138; 148) 'S::default': fn default<S>() -> S
     [138; 150) 'S::default()': S
     [160; 162) 's3': S
-    [165; 188) '<S as ...efault': fn default<S>() -> Self
+    [165; 188) '<S as ...efault': fn default<S>() -> S
     [165; 190) '<S as ...ault()': S
     "###
     );
@@ -533,13 +533,13 @@ fn test() {
         @r###"
     [127; 211) '{     ...e(); }': ()
     [137; 138) 'a': u32
-    [141; 148) 'S::make': fn make<S, u32>() -> T
+    [141; 148) 'S::make': fn make<S, u32>() -> u32
     [141; 150) 'S::make()': u32
     [160; 161) 'b': u64
-    [164; 178) 'G::<u64>::make': fn make<G<u64>, u64>() -> T
+    [164; 178) 'G::<u64>::make': fn make<G<u64>, u64>() -> u64
     [164; 180) 'G::<u6...make()': u64
     [190; 191) 'c': f64
-    [199; 206) 'G::make': fn make<G<f64>, f64>() -> T
+    [199; 206) 'G::make': fn make<G<f64>, f64>() -> f64
     [199; 208) 'G::make()': f64
     "###
     );
@@ -567,19 +567,19 @@ fn test() {
         @r###"
     [135; 313) '{     ...e(); }': ()
     [145; 146) 'a': (u32, i64)
-    [149; 163) 'S::make::<i64>': fn make<S, u32, i64>() -> (T, U)
+    [149; 163) 'S::make::<i64>': fn make<S, u32, i64>() -> (u32, i64)
     [149; 165) 'S::mak...i64>()': (u32, i64)
     [175; 176) 'b': (u32, i64)
-    [189; 196) 'S::make': fn make<S, u32, i64>() -> (T, U)
+    [189; 196) 'S::make': fn make<S, u32, i64>() -> (u32, i64)
     [189; 198) 'S::make()': (u32, i64)
     [208; 209) 'c': (u32, i64)
-    [212; 233) 'G::<u3...:<i64>': fn make<G<u32>, u32, i64>() -> (T, U)
+    [212; 233) 'G::<u3...:<i64>': fn make<G<u32>, u32, i64>() -> (u32, i64)
     [212; 235) 'G::<u3...i64>()': (u32, i64)
     [245; 246) 'd': (u32, i64)
-    [259; 273) 'G::make::<i64>': fn make<G<u32>, u32, i64>() -> (T, U)
+    [259; 273) 'G::make::<i64>': fn make<G<u32>, u32, i64>() -> (u32, i64)
     [259; 275) 'G::mak...i64>()': (u32, i64)
     [285; 286) 'e': (u32, i64)
-    [301; 308) 'G::make': fn make<G<u32>, u32, i64>() -> (T, U)
+    [301; 308) 'G::make': fn make<G<u32>, u32, i64>() -> (u32, i64)
     [301; 310) 'G::make()': (u32, i64)
     "###
     );
@@ -601,7 +601,7 @@ fn test() {
         @r###"
     [101; 127) '{     ...e(); }': ()
     [111; 112) 'a': (S<i32>, i64)
-    [115; 122) 'S::make': fn make<S<i32>, i64>() -> (Self, T)
+    [115; 122) 'S::make': fn make<S<i32>, i64>() -> (S<i32>, i64)
     [115; 124) 'S::make()': (S<i32>, i64)
     "###
     );
@@ -625,10 +625,10 @@ fn test() {
         @r###"
     [131; 203) '{     ...e(); }': ()
     [141; 142) 'a': (S<u64>, i64)
-    [158; 165) 'S::make': fn make<S<u64>, i64>() -> (Self, T)
+    [158; 165) 'S::make': fn make<S<u64>, i64>() -> (S<u64>, i64)
     [158; 167) 'S::make()': (S<u64>, i64)
     [177; 178) 'b': (S<u32>, i32)
-    [191; 198) 'S::make': fn make<S<u32>, i32>() -> (Self, T)
+    [191; 198) 'S::make': fn make<S<u32>, i32>() -> (S<u32>, i32)
     [191; 200) 'S::make()': (S<u32>, i32)
     "###
     );
@@ -728,7 +728,7 @@ fn test() {
     [157; 158) 'S': S
     [157; 165) 'S.into()': u64
     [175; 176) 'z': u64
-    [179; 196) 'Into::...::into': fn into<S, u64>(Self) -> T
+    [179; 196) 'Into::...::into': fn into<S, u64>(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 cb3890b42..e25d6dbc4 100644
--- a/crates/ra_hir_ty/src/tests/patterns.rs
+++ b/crates/ra_hir_ty/src/tests/patterns.rs
@@ -96,13 +96,13 @@ fn test() {
     [38; 42) 'A(n)': A<i32>
     [40; 41) 'n': &i32
     [45; 50) '&A(1)': &A<i32>
-    [46; 47) 'A': A<i32>(T) -> A<T>
+    [46; 47) 'A': A<i32>(i32) -> A<i32>
     [46; 50) 'A(1)': A<i32>
     [48; 49) '1': i32
     [60; 64) 'A(n)': A<i32>
     [62; 63) 'n': &mut i32
     [67; 76) '&mut A(1)': &mut A<i32>
-    [72; 73) 'A': A<i32>(T) -> A<T>
+    [72; 73) 'A': A<i32>(i32) -> A<i32>
     [72; 76) 'A(1)': A<i32>
     [74; 75) '1': i32
     "###
diff --git a/crates/ra_hir_ty/src/tests/regression.rs b/crates/ra_hir_ty/src/tests/regression.rs
index 02bab6dbe..14c8ed3a9 100644
--- a/crates/ra_hir_ty/src/tests/regression.rs
+++ b/crates/ra_hir_ty/src/tests/regression.rs
@@ -346,7 +346,7 @@ pub fn main_loop() {
     @r###"
     [144; 146) '{}': ()
     [169; 198) '{     ...t(); }': ()
-    [175; 193) 'FxHash...efault': fn default<{unknown}, FxHasher>() -> HashSet<T, H>
+    [175; 193) 'FxHash...efault': fn default<{unknown}, FxHasher>() -> HashSet<{unknown}, FxHasher>
     [175; 195) 'FxHash...ault()': HashSet<{unknown}, FxHasher>
     "###
     );
diff --git a/crates/ra_hir_ty/src/tests/simple.rs b/crates/ra_hir_ty/src/tests/simple.rs
index f1238506b..b08355227 100644
--- a/crates/ra_hir_ty/src/tests/simple.rs
+++ b/crates/ra_hir_ty/src/tests/simple.rs
@@ -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>
     "###
@@ -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
     "###
@@ -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
     "###
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() {
     [92; 94) '{}': ()
     [105; 144) '{     ...(s); }': ()
     [115; 116) 's': S<u32>
-    [119; 120) 'S': S<u32>(T) -> S<T>
+    [119; 120) 'S': S<u32>(u32) -> S<u32>
     [119; 129) 'S(unknown)': S<u32>
     [121; 128) 'unknown': u32
-    [135; 138) 'foo': fn foo<S<u32>>(T) -> ()
+    [135; 138) 'foo': fn foo<S<u32>>(S<u32>) -> ()
     [135; 141) 'foo(s)': ()
     [139; 140) 's': S<u32>
     "###
@@ -289,11 +289,11 @@ fn test() {
     [98; 100) '{}': ()
     [111; 163) '{     ...(s); }': ()
     [121; 122) 's': S<u32>
-    [125; 126) 'S': S<u32>(T) -> S<T>
+    [125; 126) 'S': S<u32>(u32) -> S<u32>
     [125; 135) 'S(unknown)': S<u32>
     [127; 134) 'unknown': u32
     [145; 146) 'x': u32
-    [154; 157) 'foo': fn foo<u32, S<u32>>(T) -> U
+    [154; 157) 'foo': fn foo<u32, S<u32>>(S<u32>) -> u32
     [154; 160) 'foo(s)': u32
     [158; 159) 's': S<u32>
     "###
@@ -1066,26 +1066,26 @@ fn test<T: Trait<Type = u32>>(x: T, y: impl Trait<Type = i64>) {
     [296; 299) 'get': fn get<T>(T) -> <T as Trait>::Type
     [296; 302) 'get(x)': {unknown}
     [300; 301) 'x': T
-    [308; 312) 'get2': fn get2<{unknown}, T>(T) -> U
+    [308; 312) 'get2': fn get2<{unknown}, T>(T) -> {unknown}
     [308; 315) 'get2(x)': {unknown}
     [313; 314) 'x': T
-    [321; 324) 'get': fn get<impl Trait<Type = i64>>(T) -> <T as Trait>::Type
+    [321; 324) 'get': fn get<impl Trait<Type = i64>>(impl Trait<Type = i64>) -> <impl Trait<Type = i64> as Trait>::Type
     [321; 327) 'get(y)': {unknown}
     [325; 326) 'y': impl Trait<Type = i64>
-    [333; 337) 'get2': fn get2<{unknown}, impl Trait<Type = i64>>(T) -> U
+    [333; 337) 'get2': fn get2<{unknown}, impl Trait<Type = i64>>(impl Trait<Type = i64>) -> {unknown}
     [333; 340) 'get2(y)': {unknown}
     [338; 339) 'y': impl Trait<Type = i64>
-    [346; 349) 'get': fn get<S<u64>>(T) -> <T as Trait>::Type
+    [346; 349) 'get': fn get<S<u64>>(S<u64>) -> <S<u64> as Trait>::Type
     [346; 357) 'get(set(S))': u64
-    [350; 353) 'set': fn set<S<u64>>(T) -> T
+    [350; 353) 'set': fn set<S<u64>>(S<u64>) -> S<u64>
     [350; 356) 'set(S)': S<u64>
     [354; 355) 'S': S<u64>
-    [363; 367) 'get2': fn get2<u64, S<u64>>(T) -> U
+    [363; 367) 'get2': fn get2<u64, S<u64>>(S<u64>) -> u64
     [363; 375) 'get2(set(S))': u64
-    [368; 371) 'set': fn set<S<u64>>(T) -> T
+    [368; 371) 'set': fn set<S<u64>>(S<u64>) -> S<u64>
     [368; 374) 'set(S)': S<u64>
     [372; 373) 'S': S<u64>
-    [381; 385) 'get2': fn get2<str, S<str>>(T) -> U
+    [381; 385) 'get2': fn get2<str, S<str>>(S<str>) -> str
     [381; 395) 'get2(S::<str>)': str
     [386; 394) 'S::<str>': S<str>
     "###
@@ -1258,9 +1258,9 @@ fn test() {
     [157; 160) '{t}': T
     [158; 159) 't': T
     [259; 280) '{     ...S)); }': ()
-    [265; 269) 'get2': fn get2<u64, S<u64>>(T) -> U
+    [265; 269) 'get2': fn get2<u64, S<u64>>(S<u64>) -> u64
     [265; 277) 'get2(set(S))': u64
-    [270; 273) 'set': fn set<S<u64>>(T) -> T
+    [270; 273) 'set': fn set<S<u64>>(S<u64>) -> S<u64>
     [270; 276) 'set(S)': S<u64>
     [274; 275) 'S': S<u64>
     "###
@@ -1432,7 +1432,7 @@ fn test() {
     [340; 342) '{}': ()
     [356; 515) '{     ... S); }': ()
     [366; 368) 'x1': u64
-    [371; 375) 'foo1': fn foo1<S, u64, |S| -> u64>(T, F) -> U
+    [371; 375) 'foo1': fn foo1<S, u64, |S| -> u64>(S, |S| -> u64) -> u64
     [371; 394) 'foo1(S...hod())': u64
     [376; 377) 'S': S
     [379; 393) '|s| s.method()': |S| -> u64
@@ -1440,7 +1440,7 @@ fn test() {
     [383; 384) 's': S
     [383; 393) 's.method()': u64
     [404; 406) 'x2': u64
-    [409; 413) 'foo2': fn foo2<S, u64, |S| -> u64>(F, T) -> U
+    [409; 413) 'foo2': fn foo2<S, u64, |S| -> u64>(|S| -> u64, S) -> u64
     [409; 432) 'foo2(|...(), S)': u64
     [414; 428) '|s| s.method()': |S| -> u64
     [415; 416) 's': S