blob: b29d71437b986a66f092f214f62135186002beb6 [file] [log] [blame] [edit]
//@ check-pass
trait Trait {
type Type;
fn method(&self) -> impl Trait<Type: '_>;
}
impl Trait for () {
type Type = ();
fn method(&self) -> impl Trait<Type: '_> {
()
}
}
fn main() {}