Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-def/src/expr_store/tests/signatures.rs')
-rw-r--r--crates/hir-def/src/expr_store/tests/signatures.rs13
1 files changed, 13 insertions, 0 deletions
diff --git a/crates/hir-def/src/expr_store/tests/signatures.rs b/crates/hir-def/src/expr_store/tests/signatures.rs
index 24bdc6ece3..460ab6418d 100644
--- a/crates/hir-def/src/expr_store/tests/signatures.rs
+++ b/crates/hir-def/src/expr_store/tests/signatures.rs
@@ -200,6 +200,19 @@ fn allowed3(baz: impl Baz<Assoc = Qux<impl Foo>>) {}
}
#[test]
+fn type_alias_constrained_lifetime_with_elided_lifetime_args() {
+ lower_and_print(
+ r#"
+type Alias<'a, 'b, T> = &'b T;
+fn f<T>(_: Alias<T>) {}
+"#,
+ expect![[r#"
+ fn f<T>(Alias::<T>) {...}
+ "#]],
+ );
+}
+
+#[test]
fn regression_21138() {
lower_and_print(
r#"