tests/ui/const-generics/occurs-check/bind-param.rs

   1 // build-pass
   2 #![feature(generic_const_exprs)]
   3 #![allow(incomplete_features)]
   4
   5 // This test does not use any "unevaluated" consts, so it should compile just fine.
   6
   7 fn bind<const N: usize>(value: [u8; N]) -> [u8; N] {
   8     todo!()
   9 }
  10
  11 fn sink(_: [u8; 5]) {}
  12
  13 fn main() {
  14     let mut arr = Default::default();
  15     arr = bind(arr);
  16     sink(arr);
  17 }