1 2 3 4 5 6 7 8 9 10 11
// check-pass #![feature(const_trait_impl, effects)] pub trait Owo<X = <Self as Uwu>::T> {} #[const_trait] pub trait Uwu: Owo { type T; } fn main() {}