1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
// check-pass #![feature(associated_type_bounds)] trait Trait { type Type; fn method(&self) -> impl Trait<Type: '_>; } impl Trait for () { type Type = (); fn method(&self) -> impl Trait<Type: '_> { () } } fn main() {}