1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// known-bug: #110395 // FIXME check-pass #![feature(const_trait_impl, effects)] #[const_trait] trait Foo { type Assoc: ~const Foo; fn foo() {} } const fn foo<T: ~const Foo>() { <T as Foo>::Assoc::foo(); } fn main() {}