bendns' repos / rust-analyzer
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.rs21
1 files changed, 21 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/regression.rs b/crates/hir-ty/src/tests/regression.rs
index 69c7a81548..f80d539498 100644
--- a/crates/hir-ty/src/tests/regression.rs
+++ b/crates/hir-ty/src/tests/regression.rs
@@ -1975,3 +1975,24 @@ impl<#[cfg(feature = "a-feature")] A> Bar for (){}
"#,
)
}
+
+#[test]
+fn nested_anon_generics_and_where_bounds_17173() {
+ check_types(
+ r#"
+//- minicore: sized
+pub trait Lookup {
+ type Data;
+ fn lookup(&self) -> Self::Data;
+}
+pub trait ItemTreeLoc {
+ type Id;
+}
+fn id_to_generics(id: impl Lookup<Data = impl ItemTreeLoc<Id = ()>>)
+ //^^ impl Lookup<Data = impl ItemTreeLoc<Id = ()>>
+where
+ (): Sized,
+{}
+"#,
+ );
+}