tests/ui/const-generics/generic_const_exprs/abstract-consts-as-cast-5.rs


1
2
3
4
5
6
7
8
9
10
11

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

fn foo<const N: u8>(a: [(); N as usize]) {
    bar::<{ N as usize as usize }>();
    //~^ error: unconstrained generic constant
}

fn bar<const N: usize>() {}

fn main() {}