1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// check-pass #![feature(generic_const_exprs)] #![allow(incomplete_features)] trait Trait { const ASSOC: usize; } fn foo<T: Trait, U: Trait>() where [(); T::ASSOC]:, { bar::<{ T::ASSOC }>(); } fn bar<const N: usize>() -> [(); N] { [(); N] } fn main() {}