about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorgaurikholkar <f2013002@goa.bits-pilani.ac.in>2017-06-29 14:13:53 -0700
committergaurikholkar <f2013002@goa.bits-pilani.ac.in>2017-06-29 14:13:53 -0700
commit4abcf28d2baaf53afe810e75ddfbfa8eff72c863 (patch)
treeb47822f8783a8861dd9b566da3ccd9b7182b0d10 /src
parent5be4fa864af439cb18fe9bff4297e229f2879c73 (diff)
downloadrust-4abcf28d2baaf53afe810e75ddfbfa8eff72c863.tar.gz
rust-4abcf28d2baaf53afe810e75ddfbfa8eff72c863.zip
adding compile-fail test
Diffstat (limited to 'src')
-rw-r--r--src/test/compile-fail/E0495.rs (renamed from src/test/ui/lifetime-errors/ex1-return-one-existing-name-if-else-using-closure.rs)7
-rw-r--r--src/test/ui/lifetime-errors/ex1-return-one-existing-name-if-else-using-closure.stderr29
2 files changed, 3 insertions, 33 deletions
diff --git a/src/test/ui/lifetime-errors/ex1-return-one-existing-name-if-else-using-closure.rs b/src/test/compile-fail/E0495.rs
index faf4fe547bf..e47c4d7199c 100644
--- a/src/test/ui/lifetime-errors/ex1-return-one-existing-name-if-else-using-closure.rs
+++ b/src/test/compile-fail/E0495.rs
@@ -8,6 +8,7 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+// FIXME - This test gives different results on different machines.
 fn invoke<'a, F>(x: &'a i32, f: F) -> &'a i32
 where F: FnOnce(&'a i32, &i32) -> &'a i32
 {
@@ -15,10 +16,8 @@ where F: FnOnce(&'a i32, &i32) -> &'a i32
     f(x, &y)
 }
 
-fn foo<'a>(x: &'a i32) {
+fn foo<'a>(x: &'a i32) { //~ ERROR E0495
     invoke(&x, |a, b| if a > b { a } else { b });
 }
 
-fn main() {
-}
-
+fn main() {}
diff --git a/src/test/ui/lifetime-errors/ex1-return-one-existing-name-if-else-using-closure.stderr b/src/test/ui/lifetime-errors/ex1-return-one-existing-name-if-else-using-closure.stderr
deleted file mode 100644
index 20104afae51..00000000000
--- a/src/test/ui/lifetime-errors/ex1-return-one-existing-name-if-else-using-closure.stderr
+++ /dev/null
@@ -1,29 +0,0 @@
-error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
-  --> $DIR/ex1-return-one-existing-name-if-else-using-closure.rs:19:5
-   |
-19 |     invoke(&x, |a, b| if a > b { a } else { b });
-   |     ^^^^^^
-   |
-note: first, the lifetime cannot outlive the anonymous lifetime #2 defined on the body at 19:16...
-  --> $DIR/ex1-return-one-existing-name-if-else-using-closure.rs:19:16
-   |
-19 |     invoke(&x, |a, b| if a > b { a } else { b });
-   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-note: ...so that reference does not outlive borrowed content
-  --> $DIR/ex1-return-one-existing-name-if-else-using-closure.rs:19:45
-   |
-19 |     invoke(&x, |a, b| if a > b { a } else { b });
-   |                                             ^
-note: but, the lifetime must be valid for the expression at 19:5...
-  --> $DIR/ex1-return-one-existing-name-if-else-using-closure.rs:19:5
-   |
-19 |     invoke(&x, |a, b| if a > b { a } else { b });
-   |     ^^^^^^
-note: ...so that a type/lifetime parameter is in scope here
-  --> $DIR/ex1-return-one-existing-name-if-else-using-closure.rs:19:5
-   |
-19 |     invoke(&x, |a, b| if a > b { a } else { b });
-   |     ^^^^^^
-
-error: aborting due to previous error(s)
-