From 0b57fa3931b88940678dcc0413fda4b4c97b4e93 Mon Sep 17 00:00:00 2001
From: Max Heller <max.a.heller@gmail.com>
Date: Tue, 8 Aug 2023 20:09:50 -0400
Subject: [PATCH] test

---
 crates/ide-completion/src/tests/type_pos.rs | 25 +++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/crates/ide-completion/src/tests/type_pos.rs b/crates/ide-completion/src/tests/type_pos.rs
index f2ed7247039b..273716bd5130 100644
--- a/crates/ide-completion/src/tests/type_pos.rs
+++ b/crates/ide-completion/src/tests/type_pos.rs
@@ -634,6 +634,31 @@ fn f(t: impl MyTrait<Item1 = $0
         "#]],
     );
 
+    check(
+        r#"
+trait MyTrait {
+    type Item1;
+    type Item2;
+};
+
+fn f(t: impl MyTrait<Item1 = u8, Item2 = $0
+"#,
+        expect![[r#"
+            en Enum
+            ma makro!(…) macro_rules! makro
+            md module
+            st Record
+            st Tuple
+            st Unit
+            tt MyTrait
+            tt Trait
+            un Union
+            bt u32
+            kw crate::
+            kw self::
+        "#]],
+    );
+
     check(
         r#"
 trait MyTrait {