Add some tests for new kind system

Issue #1177

3 files changed, 0 insertions, 56 deletions

diff --git a/src/test/compile-fail/copy-res-into-tag.rs b/src/test/compile-fail/copy-res-into-tag.rs
deleted file mode 100644
index 358277c4785..00000000000
--- a/src/test/compile-fail/copy-res-into-tag.rs
+++ /dev/null
@@ -1,20 +0,0 @@
-// xfail-test
-// error-pattern:mismatched kinds for tag parameter
-resource r(i: @mutable int) {
-    *i = *i + 1;
-}
-
-tag t {
-    t0(r);
-}
-
-fn main() {
-    let i = @mutable 0;
-    {
-        let j <- r(i);
-        // No no no no no
-        let k <- t0(j);
-    }
-    log_err *i;
-    assert *i == 2;
-}
\ No newline at end of file
diff --git a/src/test/compile-fail/resource-vec-copy.rs b/src/test/compile-fail/resource-vec-copy.rs
deleted file mode 100644
index f439d387aa7..00000000000
--- a/src/test/compile-fail/resource-vec-copy.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// xfail-test
-// error-pattern:mismatched kind
-
-resource r(i: @mutable int) {
-    *i = *i + 1;
-}
-
-fn main() {
-    let a = @mutable 0;
-    {
-        let i <- r(a);
-        // Can't copy into here
-        let j <- [i];
-    }
-    log_err *a;
-    // this is no good
-    assert *a == 2;
-}
\ No newline at end of file
diff --git a/src/test/compile-fail/unique-pinned-nocopy-3.rs b/src/test/compile-fail/unique-pinned-nocopy-3.rs
deleted file mode 100644
index 6526214bf5c..00000000000
--- a/src/test/compile-fail/unique-pinned-nocopy-3.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// xfail-test
-// error-pattern:mismatched kind
-
-resource r(i: @mutable int) {
-    *i = *i + 1;
-}
-
-fn main() {
-    let a = @mutable 0;
-    {
-        let i <- ~r(a);
-        // Can't copy into here
-        let j <- [i];
-    }
-    log_err *a;
-    // this is no good
-    assert *a == 2;
-}
\ No newline at end of file