Add 80561

Issue: rust-lang/rust#80561

Author: fanninpm

ices/80561.rs

@@ -0,0 +1,21 @@
+#![feature(const_generics)]
+#![feature(const_evaluatable_checked)]
+pub struct SimpleStruct<const N: usize>([u8; N]);
+
+impl<const N: usize> SimpleStruct<N> {
+    pub fn new() -> Self {
+        loop {}
+    }
+}
+
+pub trait TraitA {
+    const SIZE: usize;
+    fn zero()
+    where
+        [(); Self::SIZE]: ,
+    {
+        let _ = SimpleStruct::<{ Self::SIZE }>::new();
+    }
+}
+
+fn main() {}