4 #![cfg_attr(full, feature(const_generics))]
5 #![cfg_attr(full, allow(incomplete_features))]
6 #![cfg_attr(min, feature(min_const_generics))]
8 struct Const<const N: usize>;
9 trait Foo<const N: usize> {}
11 impl<const N: usize> Foo<N> for Const<N> {}
13 fn foo_impl(_: impl Foo<3>) {}
15 fn foo_explicit<T: Foo<3>>(_: T) {}
28 foo_explicit(Const::<3>);
31 foo_where(Const::<3>);