14 lines
390 B
Rust
14 lines
390 B
Rust
// 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:-Zborrowck=mir -Zverbose
|
|
|
|
fn foo<'a>(x: &'a u32) -> &'static u32 {
|
|
&*x
|
|
//~^ ERROR
|
|
}
|
|
|
|
fn main() { }
|