tests/ui/const-generics/generic_const_exprs/simple_fail.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

type Arr<const N: usize> = [u8; N - 1];
//~^ ERROR overflow

fn test<const N: usize>() -> Arr<N>
where
    [u8; N - 1]: Sized,
    //~^ ERROR overflow
{
    todo!()
}

fn main() {
    test::<0>();
}