1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/regions/regions-free-region-ordering-incorrect.rs b/src/test/ui/regions/regions-free-region-ordering-incorrect.rs
new file mode 100644
index 000000000..1aee6e876
--- /dev/null
+++ b/src/test/ui/regions/regions-free-region-ordering-incorrect.rs
@@ -0,0 +1,22 @@
+// Test that free regions ordering only goes one way. That is,
+// we have `&'a Node<'b, T>`, which implies that `'a <= 'b`,
+// but not `'b <= 'a`. Hence, returning `&self.val` (which has lifetime
+// `'a`) where `'b` is expected yields an error.
+//
+// This test began its life as a test for issue #4325.
+
+struct Node<'b, T: 'b> {
+    val: T,
+    next: Option<&'b Node<'b, T>>
+}
+
+impl<'b, T> Node<'b, T> {
+    fn get<'a>(&'a self) -> &'b T {
+        match self.next { //~ ERROR lifetime may not live long enough
+            Some(ref next) => next.get(),
+            None => &self.val
+        }
+    }
+}
+
+fn main() {}