3 #![feature(generic_const_exprs)]
4 #![allow(incomplete_features)]
8 fn func(self)->Self::R;
11 pub struct TraitImpl<const N:usize>(pub i32);
13 impl<const N:usize> Trait for TraitImpl<N>
17 fn func(self)->Self::R {
22 fn sample<P,Convert>(p:P,f:Convert) -> i32
24 P:Trait,Convert:Fn(P::R)->i32
30 let t = TraitImpl::<10>(4);