1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
// check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] const fn both(_: usize, b: usize) -> usize { b } fn foo<const N: usize>() where [(); both(N + 1, N + 1)]:, { bar::<N>(); } fn bar<const N: usize>() where [(); N + 1]:, { } fn main() {}