Add 83993

Issue: rust-lang/rust#83993
fanninpm · Apr 9, 2021 · e5d58e0 · e5d58e0
1 parent 613cde5
commit e5d58e0
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/ices/83993.rs b/ices/83993.rs
@@ -0,0 +1,8 @@
+#![feature(const_generics)]
+fn bug<'a>()
+where
+    for<'b> [(); {
+        let x: &'b ();
+        0
+    }]:
+{}