2 trait Bar<const N: usize> { fn bar() {} }
3 trait Foo<const N: usize>: Bar<N> {}
5 fn test<T, const N: usize>() where T: Foo<N> {
9 struct Faz<const N: usize>;
11 impl<const N: usize> Faz<N> {
12 fn test<T>() where T: Foo<N> {
17 trait Fiz<const N: usize> {
18 fn fiz<T>() where T: Foo<N> {
23 impl<const N: usize> Bar<N> for u8 {}
24 impl<const N: usize> Foo<N> for u8 {}
25 impl<const N: usize> Fiz<N> for u8 {}
28 Faz::<3>::test::<u8>();
29 <u8 as Fiz<13>>::fiz::<u8>();