1 files changed, 16 insertions, 0 deletions
diff --git a/tests/pretty/gat-bounds.rs b/tests/pretty/gat-bounds.rs
new file mode 100644
index 000000000..0a361a383
--- /dev/null
+++ b/tests/pretty/gat-bounds.rs
@@ -0,0 +1,16 @@
+// Check that associated types print generic parameters and where clauses.
+// See issue #67509.
+
+// pretty-compare-only
+
+trait X {
+    type Y<T>: Trait where Self: Sized;
+}
+
+impl X for () {
+    type Y<T> where Self: Sized = u32;
+}
+
+fn f<T: X<Y<()> = i32>>() {}
+
+fn main() { }