From f9f15588bfaadaffb16a823f38351149c6071ace Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Fri, 15 Jan 2021 19:07:12 +0900
Subject: [PATCH] Add issue-80772

https://github.com/rust-lang/rust/issues/80772
---
 ices/80772.rs | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 ices/80772.rs

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