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

   1 #![feature(generic_const_exprs)]
   2 #![allow(incomplete_features)]
   3
   4 fn foo<const N: u8>(a: [(); N as usize]) {
   5     bar::<{ N as usize as usize }>();
   6     //~^ error: unconstrained generic constant
   7 }
   8
   9 fn bar<const N: usize>() {}
  10
  11 fn main() {}