1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/issue-71176.rs b/src/test/ui/generic-associated-types/issue-71176.rs
new file mode 100644
index 000000000..c2f0d59f4
--- /dev/null
+++ b/src/test/ui/generic-associated-types/issue-71176.rs
@@ -0,0 +1,20 @@
+#![feature(generic_associated_types)]
+
+trait Provider {
+    type A<'a>;
+}
+
+impl Provider for () {
+    type A<'a> = ();
+}
+
+struct Holder<B> {
+  inner: Box<dyn Provider<A = B>>,
+  //~^ ERROR: missing generics for associated type
+}
+
+fn main() {
+    Holder {
+        inner: Box::new(()),
+    };
+}