From e804352de4e44de5ae22c801c00380c4740ba6cd Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Sat, 24 Sep 2011 02:01:13 -0700 Subject: [PATCH] Move a previous run-pass test for kind-lowered unique boxes to compile-fail This test tries to swap unique boxes containing resources, which is not allowed. Issue #409 --- src/test/{run-pass => compile-fail}/unique-swap2.rs | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) rename src/test/{run-pass => compile-fail}/unique-swap2.rs (75%) diff --git a/src/test/run-pass/unique-swap2.rs b/src/test/compile-fail/unique-swap2.rs similarity index 75% rename from src/test/run-pass/unique-swap2.rs rename to src/test/compile-fail/unique-swap2.rs index 041ac622c912..f1cfebf1274c 100644 --- a/src/test/run-pass/unique-swap2.rs +++ b/src/test/compile-fail/unique-swap2.rs @@ -1,8 +1,4 @@ -// xfail-test - -// This no longer works because ~r() is lowered to a pinned type -// (which can't be swapped). Should probably be a compile-fail -// test. +// error-pattern: mismatched kinds resource r(i: @mutable int) { *i += 1; @@ -14,6 +10,8 @@ fn test1() { { let x = ~r(i); let y = ~r(j); + // Unique boxes containing resources are lowered to pinned kinds, + // which can't be swapped x <-> y; assert ***x == 200; assert ***y == 100;