4 #![cfg_attr(full, feature(const_generics))]
5 #![cfg_attr(full, allow(incomplete_features))]
7 struct Const<const N: usize>;
8 trait Foo<const N: usize> {}
10 impl<const N: usize> Foo<N> for Const<N> {}
12 fn foo_impl(_: impl Foo<3>) {}
14 fn foo_explicit<T: Foo<3>>(_: T) {}
27 foo_explicit(Const::<3>);
30 foo_where(Const::<3>);