Add 83938

Issue: rust-lang/rust#83938
fanninpm · Apr 9, 2021 · 613cde5 · 613cde5
1 parent 14ea5e7
commit 613cde5
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/ices/83938.rs b/ices/83938.rs
@@ -0,0 +1,10 @@
+#![crate_type = "lib"]
+#![feature(const_generics_defaults)]
+
+type NpOne<T, const N: usize, const NP: usize = {N+1usize}> = [T; NP];
+
+pub fn push<T, const N: usize>(_: [T; N], _: T)
+    -> NpOne<T, N>
+{
+    todo!()
+}