blob: 4073ef8ac192a709cb9f8568ab0876f87027daff [file] [log] [blame]
// 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() {}