Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir_ty/src/tests/traits.rs')
-rw-r--r--crates/hir_ty/src/tests/traits.rs26
1 files changed, 13 insertions, 13 deletions
diff --git a/crates/hir_ty/src/tests/traits.rs b/crates/hir_ty/src/tests/traits.rs
index a82b8cb466..5e58d5ad83 100644
--- a/crates/hir_ty/src/tests/traits.rs
+++ b/crates/hir_ty/src/tests/traits.rs
@@ -1280,7 +1280,7 @@ fn test(x: dyn Trait<u64>, y: &dyn Trait<u64>) {
expect![[r#"
29..33 'self': &Self
54..58 'self': &Self
- 97..99 '{}': ()
+ 97..99 '{}': dyn Trait<u64>
109..110 'x': dyn Trait<u64>
128..129 'y': &dyn Trait<u64>
148..265 '{ ...2(); }': ()
@@ -1361,10 +1361,10 @@ fn test(x: Trait, y: &Trait) -> u64 {
}"#,
expect![[r#"
26..30 'self': &Self
- 60..62 '{}': ()
+ 60..62 '{}': dyn Trait
72..73 'x': dyn Trait
82..83 'y': &dyn Trait
- 100..175 '{ ...o(); }': ()
+ 100..175 '{ ...o(); }': u64
106..107 'x': dyn Trait
113..114 'y': &dyn Trait
124..125 'z': dyn Trait
@@ -1449,9 +1449,9 @@ fn test<T: Trait<Type = u32>>(x: T, y: impl Trait<Type = i64>) {
}"#,
expect![[r#"
49..50 't': T
- 77..79 '{}': ()
+ 77..79 '{}': Trait::Type<T>
111..112 't': T
- 122..124 '{}': ()
+ 122..124 '{}': U
154..155 't': T
165..168 '{t}': T
166..167 't': T
@@ -1575,7 +1575,7 @@ fn test<T: Trait1, U: Trait2>(x: T, y: U) {
}"#,
expect![[r#"
49..53 'self': &Self
- 62..64 '{}': ()
+ 62..64 '{}': u32
181..182 'x': T
187..188 'y': U
193..222 '{ ...o(); }': ()
@@ -1604,7 +1604,7 @@ fn test(x: &impl Trait1) {
}"#,
expect![[r#"
49..53 'self': &Self
- 62..64 '{}': ()
+ 62..64 '{}': u32
115..116 'x': &impl Trait1
132..148 '{ ...o(); }': ()
138..139 'x': &impl Trait1
@@ -1653,7 +1653,7 @@ fn test() {
}"#,
expect![[r#"
102..103 't': T
- 113..115 '{}': ()
+ 113..115 '{}': U
145..146 't': T
156..159 '{t}': T
157..158 't': T
@@ -1786,9 +1786,9 @@ fn test() {
}"#,
expect![[r#"
36..40 'self': &Foo
- 51..53 '{}': ()
+ 51..53 '{}': usize
131..132 'f': F
- 151..153 '{}': ()
+ 151..153 '{}': Lazy<T, F>
251..497 '{ ...o(); }': ()
261..266 'lazy1': Lazy<Foo, || -> Foo>
283..292 'Lazy::new': fn new<Foo, || -> Foo>(|| -> Foo) -> Lazy<Foo, || -> Foo>
@@ -1807,7 +1807,7 @@ fn test() {
478..480 'r2': usize
483..488 'lazy2': Lazy<Foo, fn() -> Foo>
483..494 'lazy2.foo()': usize
- 357..359 '{}': ()
+ 357..359 '{}': Foo
"#]],
);
}
@@ -2738,7 +2738,7 @@ fn test() {
expect![[r#"
9..11 '{}': ()
28..29 'T': {unknown}
- 36..38 '{}': ()
+ 36..38 '{}': T
36..38: expected T, got ()
113..117 'self': &Self
169..249 '{ ...t(); }': ()
@@ -3167,7 +3167,7 @@ fn f() {
}"#,
expect![[r#"
17..73 '{ ... } }': ()
- 39..71 '{ ... }': ()
+ 39..71 '{ ... }': S
53..54 's': S
57..62 'inner': fn inner() -> S
57..64 'inner()': S