1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/traits/bound/on-structs-and-enums-rpass.rs b/src/test/ui/traits/bound/on-structs-and-enums-rpass.rs
new file mode 100644
index 000000000..4dc4fecc9
--- /dev/null
+++ b/src/test/ui/traits/bound/on-structs-and-enums-rpass.rs
@@ -0,0 +1,21 @@
+// run-pass
+#![allow(dead_code)]
+#![allow(unused_variables)]
+// pretty-expanded FIXME #23616
+
+trait U {}
+trait T<X: U> { fn get(self) -> X; }
+
+trait S2<Y: U> {
+    fn m(x: Box<dyn T<Y>+'static>) {}
+}
+
+struct St<X: U> {
+    f: Box<dyn T<X>+'static>,
+}
+
+impl<X: U> St<X> {
+    fn blah() {}
+}
+
+fn main() {}