From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 16 May 2022 14:59:54 +0000 (+0100)
Subject: W
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=8e1015e1067ace49ca3c311d937754b55946aaa5;p=rust-experiments.git

W
---

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"]
     );