]>
Commit | Line | Data |
---|---|---|
ff7c6d11 XL |
1 | // Basic test for free regions in the NLL code. This test does not |
2 | // report an error because of the (implied) bound that `'b: 'a`. | |
ea8adc8c | 3 | |
dc9dc135 | 4 | // check-pass |
923072b8 | 5 | // compile-flags:-Zverbose |
ea8adc8c | 6 | |
ff7c6d11 XL |
7 | fn foo<'a, 'b>(x: &'a &'b u32) -> &'a u32 { |
8 | &**x | |
a7813a04 XL |
9 | } |
10 | ||
dc9dc135 | 11 | fn main() {} |