1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/ui/regions/regions-return-ref-to-upvar-issue-17403.rs b/src/test/ui/regions/regions-return-ref-to-upvar-issue-17403.rs
new file mode 100644
index 000000000..86e759f08
--- /dev/null
+++ b/src/test/ui/regions/regions-return-ref-to-upvar-issue-17403.rs
@@ -0,0 +1,11 @@
+// Test that closures cannot subvert aliasing restrictions
+
+fn main() {
+    // Unboxed closure case
+    {
+        let mut x = 0;
+        let mut f = || &mut x; //~ ERROR captured variable cannot escape `FnMut` closure body
+        let x = f();
+        let y = f();
+    }
+}