From b1e9a7d46ff3e996e0f8b2f8f6f2e7da4c0d0c9b Mon Sep 17 00:00:00 2001
From: Padraic Fanning <fanninpm@miamioh.edu>
Date: Fri, 29 Jan 2021 19:20:36 -0500
Subject: [PATCH] Add 80561

Issue: rust-lang/rust#80561
---
 ices/80561.rs | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 ices/80561.rs

diff --git a/ices/80561.rs b/ices/80561.rs
new file mode 100644
index 00000000..f8f1efc2
--- /dev/null
+++ b/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() {}