rustc: Alias fix part 2 -- Check that the aliasness of function parameters matches. Add a test case.

1 files changed, 15 insertions, 0 deletions

diff --git a/src/test/compile-fail/aliasness-mismatch.rs b/src/test/compile-fail/aliasness-mismatch.rs
new file mode 100644
index 00000000..88b7d938
--- /dev/null
+++ b/src/test/compile-fail/aliasness-mismatch.rs
@@ -0,0 +1,15 @@
+// -*- rust -*-
+// xfail-stage0
+
+// error-pattern: mismatched types
+
+fn f(&int x) { log_err x; }
+fn h(int x) { log_err x; }
+fn main() {
+  let fn(int x) g = f;
+  g(10);
+  g = h;
+  g(10);
+}
+
+