A couple new tests for broken parts of the typechecker, XFAILed.

3 files changed, 14 insertions, 0 deletions

diff --git a/src/Makefile b/src/Makefile
index 2244c350273..2c53a30bb2d 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -324,6 +324,8 @@ TEST_XFAILS_X86 :=  test/run-pass/mlist-cycle.rs \
                     test/run-pass/bind-obj-ctor.rs \
                     test/run-pass/task-comm.rs \
                     test/compile-fail/rec-missing-fields.rs \
+                    test/compile-fail/bad-send.rs \
+                    test/compile-fail/bad-recv.rs \
                     test/compile-fail/infinite-tag-type-recursion.rs \
                     test/compile-fail/infinite-vec-type-recursion.rs
 
@@ -440,6 +442,8 @@ TEST_XFAILS_LLVM := $(addprefix test/run-pass/, \
                      ) \
                     $(addprefix test/compile-fail/, \
                       rec-missing-fields.rs \
+                      bad-send.rs \
+                      bad-recv.rs \
                       infinite-tag-type-recursion.rs \
                       infinite-vec-type-recursion.rs \
                      )
diff --git a/src/test/compile-fail/bad-recv.rs b/src/test/compile-fail/bad-recv.rs
new file mode 100644
index 00000000000..cccb735da05
--- /dev/null
+++ b/src/test/compile-fail/bad-recv.rs
@@ -0,0 +1,5 @@
+// error-pattern: mismatched types
+
+fn main() {
+  10 <- 10;
+}
\ No newline at end of file
diff --git a/src/test/compile-fail/bad-send.rs b/src/test/compile-fail/bad-send.rs
new file mode 100644
index 00000000000..e699b4e38df
--- /dev/null
+++ b/src/test/compile-fail/bad-send.rs
@@ -0,0 +1,5 @@
+// error-pattern: mismatched types
+
+fn main() {
+  10 <| 10;
+}
\ No newline at end of file