From f23844840cf2c8d47767ca1572c9036b09502c98 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <jtitor@2k36.org>
Date: Mon, 23 May 2022 21:57:26 +0900
Subject: [PATCH] Add another ICE from issue-96572

---
 ices/96572-2.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 ices/96572-2.rs

diff --git a/ices/96572-2.rs b/ices/96572-2.rs
new file mode 100644
index 00000000..5ab65b96
--- /dev/null
+++ b/ices/96572-2.rs
@@ -0,0 +1,10 @@
+#![feature(type_alias_impl_trait)]
+
+fn main() {
+    type T = impl Copy;
+    let foo: T = Some((1u32, 2u32));
+    match foo {
+        None => (),
+        Some((a, b)) => (),
+    }
+}