tests/ui/const-generics/occurs-check/unused-substs-4.rs

   1 #![feature(generic_const_exprs)]
   2 #![allow(incomplete_features)]
   3
   4 fn bind<const N: usize>(value: [u8; N]) -> [u8; 3 + 4] {
   5     todo!()
   6 }
   7
   8 fn main() {
   9     let mut arr = Default::default();
  10     arr = bind(arr); //~ ERROR mismatched type
  11 }