Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/regression.rs')
-rw-r--r--crates/hir-ty/src/tests/regression.rs23
1 files changed, 23 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/regression.rs b/crates/hir-ty/src/tests/regression.rs
index 4fcb6062b6..aa7b00b8de 100644
--- a/crates/hir-ty/src/tests/regression.rs
+++ b/crates/hir-ty/src/tests/regression.rs
@@ -2018,3 +2018,26 @@ fn tait_async_stack_overflow_17199() {
"#,
);
}
+
+#[test]
+fn lifetime_params_move_param_defaults() {
+ check_types(
+ r#"
+pub struct Thing<'s, T = u32>;
+
+impl <'s> Thing<'s> {
+ pub fn new() -> Thing<'s> {
+ Thing
+ //^^^^^ Thing<'?, u32>
+ }
+}
+
+fn main() {
+ let scope =
+ //^^^^^ &'? Thing<'?, u32>
+ &Thing::new();
+ //^^^^^^^^^^^^ Thing<'?, u32>
+}
+"#,
+ );
+}