summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lifetimes/elided-lifetime-in-path-in-pat.rs
blob: ff84d2511496005f6e8de48e16a37f10bba999da (plain)
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() {}