14 lines
228 B
Rust
14 lines
228 B
Rust
|
// compile-pass
|
||
|
|
|
||
|
|
struct Foo<'a>(&'a ());
|
||
|
|
impl<'a> Foo<'a> {
|
||
|
|
fn foo<'b>(self: &'b Foo<'a>) -> &() { self.0 }
|
||
|
|
}
|
||
|
|
|
||
|
|
type Alias = Foo<'static>;
|
||
|
|
impl Alias {
|
||
|
|
fn bar<'a>(self: &Alias, arg: &'a ()) -> &() { arg }
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|