blob: 4acd2fc92f3a35c0c3b273acfaf14293433050b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// 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
fn foo<'a>(x: &'a u32) -> &'static u32 {
&*x
//~^ ERROR
}
fn main() { }
|