2 #![allow(incomplete_features)]
3 #![feature(const_generics)]
5 struct Const<const N: usize>;
6 trait Foo<const N: usize> {}
8 impl<const N: usize> Foo<N> for Const<N> {}
10 fn foo_impl(_: impl Foo<3>) {}
12 fn foo_explicit<T: Foo<3>>(_: T) {}
25 foo_explicit(Const::<3>);
28 foo_where(Const::<3>);