---

yaml
---
r: 16003
b: refs/heads/try
c: b938394
h: refs/heads/master
i:
  16001: ab6ec4e
  15999: 5ba5733
v: v3

Author: nikomatsakis

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: e0f59e835e062d27543ae5085b49effb13294b61
+refs/heads/try: b93839408c9f35cd8497d1de5b48639eb8ae7f8d
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/test/compile-fail/borrowck-unchecked-with-borrow.rs

@@ -0,0 +1,33 @@
+// xfail-fast  (compile-flags unsupported on windows)
+// compile-flags:--borrowck=err
+
+fn impure(_i: int) {}
+
+fn foo(v: &const option<int>) {
+    alt *v {
+      some(i) {
+        //!^ NOTE pure context is required due to an illegal borrow: enum variant in aliasable, mutable location
+        // check that unchecked alone does not override borrowck:
+        unchecked {
+            impure(i); //! ERROR access to non-pure functions prohibited in a pure context
+        }
+      }
+      none {
+      }
+    }
+}
+
+fn bar(v: &const option<int>) {
+    alt *v {
+      some(i) {
+        unsafe {
+            impure(i);
+        }
+      }
+      none {
+      }
+    }
+}
+
+fn main() {
+}