summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-infer-contravariance-due-to-ret.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/regions-infer-contravariance-due-to-ret.rs')
-rw-r--r--src/test/ui/regions/regions-infer-contravariance-due-to-ret.rs22
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/regions/regions-infer-contravariance-due-to-ret.rs b/src/test/ui/regions/regions-infer-contravariance-due-to-ret.rs
deleted file mode 100644
index fbd895015..000000000
--- a/src/test/ui/regions/regions-infer-contravariance-due-to-ret.rs
+++ /dev/null
@@ -1,22 +0,0 @@
-// run-pass
-#![allow(non_camel_case_types)]
-
-
-struct boxed_int<'a> {
- f: &'a isize,
-}
-
-fn max<'r>(bi: &'r boxed_int, f: &'r isize) -> isize {
- if *bi.f > *f {*bi.f} else {*f}
-}
-
-fn with(bi: &boxed_int) -> isize {
- let i = 22;
- max(bi, &i)
-}
-
-pub fn main() {
- let g = 21;
- let foo = boxed_int { f: &g };
- assert_eq!(with(&foo), 22);
-}