| // Basic test for free regions in the NLL code. This test ought to | |
| // report an error due to a reborrowing constraint. Right now, we get | |
| // a variety of errors from the older, AST-based machinery (notably | |
| // borrowck), and then we get the NLL error at the end. | |
| //@ compile-flags:-Zverbose-internals | |
| fn foo<'a>(x: &'a u32) -> &'static u32 { | |
| &*x | |
| //~^ ERROR | |
| } | |
| fn main() { } |