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.rs12
1 files changed, 6 insertions, 6 deletions
diff --git a/crates/hir-ty/src/tests/traits.rs b/crates/hir-ty/src/tests/traits.rs
index 6e61fcaa5d..04cdedad9d 100644
--- a/crates/hir-ty/src/tests/traits.rs
+++ b/crates/hir-ty/src/tests/traits.rs
@@ -2241,13 +2241,13 @@ fn tuple_struct_constructor_as_fn_trait() {
check_types(
r#"
//- minicore: fn
-struct S(u32, u64);
+struct S<T, U>(T, U);
-fn takes_fn<F: Fn(u32, u64) -> S>(f: F) -> S { f(1, 2) }
+fn takes_fn<F: Fn(u32, u64) -> S<u32, u64>>(f: F) -> S<u32, u64> { f(1, 2) }
fn test() {
takes_fn(S);
- //^^^^^^^^^^^ S
+ //^^^^^^^^^^^ S<u32, u64>
}
"#,
);
@@ -2258,13 +2258,13 @@ fn enum_variant_constructor_as_fn_trait() {
check_types(
r#"
//- minicore: fn
-enum E { A(u32) }
+enum E<T> { A(T) }
-fn takes_fn<F: Fn(u32) -> E>(f: F) -> E { f(1) }
+fn takes_fn<F: Fn(u32) -> E<u32>>(f: F) -> E<u32> { f(1) }
fn test() {
takes_fn(E::A);
- //^^^^^^^^^^^^^^ E
+ //^^^^^^^^^^^^^^ E<u32>
}
"#,
);