mirror of https://github.com/rust-lang/rust
33 lines
403 B
Rust
33 lines
403 B
Rust
//@ run-pass
|
|
|
|
pub trait X {
|
|
type Y<'a> where Self: 'a;
|
|
fn m(&self) -> Self::Y<'_>;
|
|
}
|
|
|
|
impl X for () {
|
|
type Y<'a> = &'a ();
|
|
|
|
fn m(&self) -> Self::Y<'_> {
|
|
self
|
|
}
|
|
}
|
|
|
|
fn f(x: &impl for<'a> X<Y<'a> = &'a ()>) -> &() {
|
|
x.m()
|
|
}
|
|
|
|
fn g<T: for<'a> X<Y<'a> = &'a ()>>(x: &T) -> &() {
|
|
x.m()
|
|
}
|
|
|
|
fn h(x: &()) -> &() {
|
|
x.m()
|
|
}
|
|
|
|
fn main() {
|
|
f(&());
|
|
g(&());
|
|
h(&());
|
|
}
|