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

   1 // check-pass
   2 #![feature(generic_const_exprs)]
   3 #![allow(incomplete_features)]
   4
   5 struct Foo<const N: u8>([u8; N as usize])
   6 where
   7     [(); N as usize]:;
   8
   9 struct Bar<const N: u8>([u8; (N + 2) as usize]) where [(); (N + 2) as usize]:;
  10
  11 // unifying with subtrees
  12 struct Evaluatable<const N: u16>;
  13 fn foo<const N: u8>() where Evaluatable<{N as usize as u16 }>: {
  14     let _ = Foo::<N>([1; N as usize]);
  15 }
  16
  17
  18 fn main() {}