summaryrefslogtreecommitdiffstats
path: root/tests/ui/nll/closure-requirements/region-lbr1-does-outlive-lbr2-because-implied-bound.rs
blob: 014959fdbd47999d54d50cf64c9b7fc85187e210 (plain)
1
2
3
4
5
6
7
8
9
10
11
// Basic test for free regions in the NLL code. This test does not
// report an error because of the (implied) bound that `'b: 'a`.

// check-pass
// compile-flags:-Zverbose

fn foo<'a, 'b>(x: &'a &'b u32) -> &'a u32 {
    &**x
}

fn main() {}