4 #![cfg_attr(full, feature(const_generics))]
5 #![cfg_attr(full, allow(incomplete_features))]
7 trait T<const A: usize> {
8 fn l<const N: bool>() -> usize;
9 fn r<const N: bool>() -> bool;
14 impl<const N: usize> T<N> for S {
15 fn l<const M: bool>() -> usize { N }
16 fn r<const M: bool>() -> bool { M }
20 assert_eq!(<S as T<123>>::l::<true>(), 123);
21 assert!(<S as T<123>>::r::<true>());