From 7586082bb08a4158914ab72b27b1c3a1b2dfb78c Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Fri, 7 Oct 2011 09:50:30 +0200
Subject: [PATCH] Add tests for programs that are invalid by arg-passing-style

Closes #1008
---
 src/test/compile-fail/arg-style-mismatch.rs | 5 +++++
 src/test/compile-fail/param-by-value.rs     | 4 ++++
 2 files changed, 9 insertions(+)
 create mode 100644 src/test/compile-fail/arg-style-mismatch.rs
 create mode 100644 src/test/compile-fail/param-by-value.rs

diff --git a/src/test/compile-fail/arg-style-mismatch.rs b/src/test/compile-fail/arg-style-mismatch.rs
new file mode 100644
index 0000000000000..9a6396c9147a3
--- /dev/null
+++ b/src/test/compile-fail/arg-style-mismatch.rs
@@ -0,0 +1,5 @@
+// error-pattern: mismatched types
+
+fn f(&&_x: int) {}
+fn g(_a: fn(+int)) {}
+fn main() { g(f); }
diff --git a/src/test/compile-fail/param-by-value.rs b/src/test/compile-fail/param-by-value.rs
new file mode 100644
index 0000000000000..5e8321cb11fa4
--- /dev/null
+++ b/src/test/compile-fail/param-by-value.rs
@@ -0,0 +1,4 @@
+// error-pattern:can not pass a dynamically-sized type by value
+
+fn f<T>(+_x: T) {}
+fn main() {}