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

   1 #![feature(generic_const_exprs)]
   2 #![allow(incomplete_features)]
   3
   4 // `N + 1` also depends on `T` here even if it doesn't use it.
   5 fn q<T, const N: usize>(_: T) -> [u8; N + 1] {
   6     todo!()
   7 }
   8
   9 fn supplier<T>() -> T {
  10     todo!()
  11 }
  12
  13 fn catch_me<const N: usize>() where [u8; N + 1]: Default {
  14     let mut x = supplier();
  15     x = q::<_, N>(x); //~ ERROR mismatched types
  16 }
  17
  18 fn main() {
  19     catch_me::<3>();
  20 }