---

yaml
---
r: 14567
b: refs/heads/try
c: 072b015
h: refs/heads/master
i:
  14565: ff779b9
  14563: b63ff0b
  14559: 1878402
v: v3

Author: marijnh

[refs]

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

branches/try/src/test/run-pass/last-use-corner-cases.rs

@@ -0,0 +1,31 @@
+fn main() {
+    // Make sure closing over can be a last use
+    let q = ~10;
+    let addr = ptr::addr_of(*q);
+    let f = fn@() -> *int { ptr::addr_of(*q) };
+    assert addr == f();
+
+    // But only when it really is the last use
+    let q = ~20;
+    let f = fn@() -> *int { ptr::addr_of(*q) };
+    assert ptr::addr_of(*q) != f();
+
+    // Ensure function arguments and box arguments interact sanely.
+    fn call_me(x: fn() -> int, y: ~int) { assert x() == *y; }
+    let q = ~30;
+    call_me({|| *q}, q);
+
+    // Check that no false positives are found in loops.
+    let q = ~40, p = 10;
+    while true {
+        let i = q;
+        p += *i;
+        if p > 100 { break; }
+    }
+
+    // Verify that blocks can't interfere with each other.
+    fn two_blocks(a: fn(), b: fn()) { a(); b(); a(); b(); }
+    let q = ~50;
+    two_blocks({|| let a = q; assert *a == 50;},
+               {|| let a = q; assert *a == 50;});
+}