about summary refs log tree commit diff
diff options
context:
space:
mode:
authorAlex Crichton <alex@alexcrichton.com>2018-03-23 09:27:28 -0500
committerAlex Crichton <alex@alexcrichton.com>2018-03-23 10:16:11 -0700
commitd58abe75bbb00f6cf3287a5d490afd518962ae54 (patch)
tree895603223e3411f568a547b97e486cacf09d79e2
parent3624544a535209dec4c1a2dc3eb7e39e7fb43f6e (diff)
parentced7687c069051e973a78c54e72271ef9e86fa28 (diff)
Rollup merge of #49295 - csmoe:nll_test_48238, r=alexcrichton
Add test for issue-48238

Fixes #48238
test case made from comments in #48238
-rw-r--r--src/test/ui/nll/issue-48238.rs22
-rw-r--r--src/test/ui/nll/issue-48238.stderr8
2 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/nll/issue-48238.rs b/src/test/ui/nll/issue-48238.rs
new file mode 100644
index 00000000000..6f7644da3d3
--- /dev/null
+++ b/src/test/ui/nll/issue-48238.rs
@@ -0,0 +1,22 @@
+// Copyright 2018 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+// Regression test for issue #48238
+
+#![feature(nll)]
+
+fn use_val<'a>(val: &'a u8) -> &'a u8 {
+    val
+}
+
+fn main() {
+    let orig: u8 = 5;
+    move || use_val(&orig); //~ ERROR free region `` does not outlive free region `'_#1r`
+}
diff --git a/src/test/ui/nll/issue-48238.stderr b/src/test/ui/nll/issue-48238.stderr
new file mode 100644
index 00000000000..29385d9b243
--- /dev/null
+++ b/src/test/ui/nll/issue-48238.stderr
@@ -0,0 +1,8 @@
+error: free region `` does not outlive free region `'_#1r`
+  --> $DIR/issue-48238.rs:21:21
+   |
+LL |     move || use_val(&orig); //~ ERROR free region `` does not outlive free region `'_#1r`
+   |                     ^^^^^
+
+error: aborting due to previous error
+