Add 86535

Issue: rust-lang/rust#86535
fanninpm · Jul 4, 2021 · e522523 · e522523
1 parent 5b9588b
commit e522523
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/ices/86535.rs b/ices/86535.rs
@@ -0,0 +1,17 @@
+#![crate_type = "lib"]
+#![feature(const_generics, const_evaluatable_checked)]
+#![allow(incomplete_features)]                                                                                                                                                                                                                
+
+pub trait Foo {
+    const ASSOC_C: usize;
+    fn foo() where [(); Self::ASSOC_C]:;
+}
+
+struct Bar<const N: &'static ()>;
+impl<const N: &'static ()> Foo for Bar<N> {
+    const ASSOC_C: usize = 3;
+
+    fn foo() where [u8; Self::ASSOC_C]: {
+        let _: [u8; Self::ASSOC_C] = loop {};
+    }
+}