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.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 644b0d392b..47c695c697 100644
--- a/crates/hir-ty/src/tests/regression.rs
+++ b/crates/hir-ty/src/tests/regression.rs
@@ -2278,3 +2278,26 @@ fn test(x: bool) {
"#]],
);
}
+
+#[test]
+fn issue_19730() {
+ check_infer(
+ r#"
+trait Trait<T = Self> {}
+
+trait Foo {
+ type Bar<A, B>: Trait;
+
+ fn foo<A, B>(bar: Self::Bar<A, B>) {
+ let _ = bar;
+ }
+}
+"#,
+ expect![[r#"
+ 83..86 'bar': Foo::Bar<Self, A, B>
+ 105..133 '{ ... }': ()
+ 119..120 '_': Foo::Bar<Self, A, B>
+ 123..126 'bar': Foo::Bar<Self, A, B>
+ "#]],
+ );
+}