1 files changed, 20 insertions, 0 deletions
diff --git a/tests/ui/type-alias-impl-trait/structural-match-no-leak.rs b/tests/ui/type-alias-impl-trait/structural-match-no-leak.rs
new file mode 100644
index 000000000..c2ab6a9d1
--- /dev/null
+++ b/tests/ui/type-alias-impl-trait/structural-match-no-leak.rs
@@ -0,0 +1,20 @@
+#![feature(type_alias_impl_trait)]
+
+type Bar = impl Send;
+
+// While i32 is structural-match, we do not want to leak this information.
+// (See https://github.com/rust-lang/rust/issues/72156)
+const fn leak_free() -> Bar {
+    7i32
+}
+const LEAK_FREE: Bar = leak_free();
+
+fn leak_free_test() {
+    match LEAK_FREE {
+        LEAK_FREE => (),
+        //~^ `Bar` cannot be used in patterns
+        _ => (),
+    }
+}
+
+fn main() {}