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
This commit is contained in:
Brian Anderson 2011-09-24 02:01:13 -07:00
parent c5877450e6
commit e804352de4

View File

@ -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;