1 files changed, 13 insertions, 0 deletions
diff --git a/tests/ui/trivial-bounds/everybody-copies.rs b/tests/ui/trivial-bounds/everybody-copies.rs
new file mode 100644
index 00000000000..3469fa1f1da
--- /dev/null
+++ b/tests/ui/trivial-bounds/everybody-copies.rs
@@ -0,0 +1,13 @@
+//! Regression test for #131507
+//@ compile-flags: -Zmir-enable-passes=+GVN -Zmir-enable-passes=+Inline -Zvalidate-mir --crate-type lib
+//@ build-pass
+
+#![expect(incomplete_features)]
+#![feature(non_lifetime_binders)]
+
+fn brick()
+where
+    for<T> T: Copy,
+{
+    || format_args!("");
+}