Add issue-80772

rust-lang/rust#80772
JohnTitor · Jan 15, 2021 · ae18bb1 · ae18bb1
1 parent c3fe097
commit ae18bb1
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/ices/80772.rs b/ices/80772.rs
@@ -0,0 +1,19 @@
+trait SomeTrait {}
+
+struct Exhibit {
+    constant: usize,
+    factory: fn(&usize) -> Box<dyn SomeTrait>,
+}
+
+const A_CONSTANT: &[Exhibit] = &[
+    Exhibit {
+        constant: 1,
+        factory: |_| unimplemented!(),
+    },
+    Exhibit {
+        constant: "Hello world".len(),
+        factory: |_| unimplemented!(),
+    },
+];
+
+fn main() {}