1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/ui/regions/regions-free-region-ordering-caller.rs b/src/test/ui/regions/regions-free-region-ordering-caller.rs
new file mode 100644
index 000000000..2e83c3258
--- /dev/null
+++ b/src/test/ui/regions/regions-free-region-ordering-caller.rs
@@ -0,0 +1,23 @@
+// Test various ways to construct a pointer with a longer lifetime
+// than the thing it points at and ensure that they result in
+// errors. See also regions-free-region-ordering-callee.rs
+
+struct Paramd<'a> { x: &'a usize }
+
+fn call2<'a, 'b>(a: &'a usize, b: &'b usize) {
+    let z: Option<&'b &'a usize> = None;
+    //~^ ERROR lifetime may not live long enough
+}
+
+fn call3<'a, 'b>(a: &'a usize, b: &'b usize) {
+    let y: Paramd<'a> = Paramd { x: a };
+    let z: Option<&'b Paramd<'a>> = None;
+    //~^ ERROR lifetime may not live long enough
+}
+
+fn call4<'a, 'b>(a: &'a usize, b: &'b usize) {
+    let z: Option<&'a &'b usize> = None;
+    //~^ ERROR lifetime may not live long enough
+}
+
+fn main() {}