ices/83938.rs: fixed with errors

[github-actions]

Issue: rust-lang/rust#83938

#![crate_type = "lib"]
#![feature(const_evaluatable_checked, const_generics, const_generics_defaults)]
#![allow(incomplete_features)]

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!()
}

=== stdout ===
=== stderr ===
error: unconstrained generic constant
 --> /home/runner/work/glacier/glacier/ices/83938.rs:8:8
  |
8 |     -> NpOne<T, N>
  |        ^^^^^^^^^^^
  |
  = help: try adding a `where` bound using this expression: `where [(); {N+1usize}]:`

error: aborting due to previous error

==============