src/test/ui/const-generics/generic_const_exprs/no_dependence.rs

   1 // check-pass
   2 #![feature(generic_const_exprs)]
   3 #![allow(incomplete_features)]
   4
   5 fn two_args<const N: usize, const M: usize>() -> [u8; M + 2] {
   6     [0; M + 2]
   7 }
   8
   9 fn yay<const N: usize>() -> [u8; 4] {
  10      two_args::<N, 2>() // no lint
  11 }
  12
  13 fn main() {}