summaryrefslogtreecommitdiffstats
path: root/tests/ui/nll/closure-requirements/region-lbr-named-does-not-outlive-static.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/nll/closure-requirements/region-lbr-named-does-not-outlive-static.rs')
-rw-r--r--tests/ui/nll/closure-requirements/region-lbr-named-does-not-outlive-static.rs13
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/ui/nll/closure-requirements/region-lbr-named-does-not-outlive-static.rs b/tests/ui/nll/closure-requirements/region-lbr-named-does-not-outlive-static.rs
new file mode 100644
index 000000000..4acd2fc92
--- /dev/null
+++ b/tests/ui/nll/closure-requirements/region-lbr-named-does-not-outlive-static.rs
@@ -0,0 +1,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() { }