From 1e0b782a63d9b783bb1ec4bdd5cfb7747b914eac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Tue, 31 Dec 2024 12:00:19 +0100
Subject: [PATCH] add test for ICE `asked to assemble constituent types of
 unexpected type: Binder(Foo, [])`

Fixes #10972
---
 tests/ui/crashes/ice-10972-tait.rs | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/ui/crashes/ice-10972-tait.rs

diff --git a/tests/ui/crashes/ice-10972-tait.rs b/tests/ui/crashes/ice-10972-tait.rs
new file mode 100644
index 000000000000..f3ab9cebb7c2
--- /dev/null
+++ b/tests/ui/crashes/ice-10972-tait.rs
@@ -0,0 +1,9 @@
+// ICE: #10972
+// asked to assemble constituent types of unexpected type: Binder(Foo, [])
+#![feature(type_alias_impl_trait)]
+
+use std::fmt::Debug;
+type Foo = impl Debug;
+const FOO2: Foo = 22_u32;
+
+pub fn main() {}