From 8e1015e1067ace49ca3c311d937754b55946aaa5 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 16 May 2022 15:59:54 +0100
Subject: [PATCH] W

---
 src/main.rs | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index b88c5a3..44e85eb 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -12,19 +12,21 @@ impl Ish for Inner {
     const F: &'static [&'static str] = &["i"];
 }
 
-const fn plus<AN: usize, BN: usize>(x: &'static [&'static str],
+const fn plus<const AN: usize, const BN: usize>(x: &'static [&'static str],
                                     b: &'static [&'static str])
     -> &'static [&'static str]
 {
-    unsafe {
-        static mupt A: [MaybeUninit<&'static str>; _] = [MaybeUninit::new_uninit(); AN + BN];
-    }
+    const N: usize = AN + BN;
+//    unsafe {
+        static mut ary: [MaybeUninit<&'static str>; _] = [MaybeUninit::new_uninit(); N];
+//    }
     panic!()
 }
 
 struct Outer { o: usize, }
 impl Ish for Outer {
-    const F: &'static [&'static str] = plus/<Inner::N, 1>(
+    const N: usize = Inner::N + 1;
+    const F: &'static [&'static str] = plus::<{Inner::N}, 1>(
         Inner::F,
         &["o"]
     );
-- 
2.30.2