1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
// check-pass #![feature(const_trait_impl)] struct S; trait A {} trait B {} impl const A for S {} impl const B for S {} impl S { const fn a<T: ~const A>() where T: ~const B { } } const _: () = S::a::<S>(); fn main() {}