14 lines
242 B
Rust
14 lines
242 B
Rust
//@ check-pass
|
|
|
|
struct Foo<'a> {
|
|
x: &'a (),
|
|
}
|
|
|
|
// The lifetime in pattern-position `Foo` is elided.
|
|
// Verify that lowering does not create an independent lifetime parameter for it.
|
|
fn foo<'a>(Foo { x }: Foo<'a>) {
|
|
*x
|
|
}
|
|
|
|
fn main() {}
|