tests/ui/lifetimes/elided-lifetime-in-path-in-pat.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

//@ 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() {}