Add issue-80767

rust-lang/rust#80767
JohnTitor · Jan 15, 2021 · c3fe097 · c3fe097
1 parent cb3b42c
commit c3fe097
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/ices/80767.rs b/ices/80767.rs
@@ -0,0 +1,11 @@
+type G<'a> = [(O, &'a [u8]); 64];
+enum O {
+    O1,
+}
+fn f(_p: [G; 4]) {}
+
+fn main() {
+    let p: [G; 4];
+    let _g: G = [(O::O1, &[]); 64];
+    f(p);
+}