From fe9a339939e27e8cb617c04a80661297d47e4d70 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Thu, 6 Dec 2012 16:13:40 -0800 Subject: [PATCH] Add various test cases, mostly xfailed --- src/test/compile-fail/issue-2951.rs | 9 +++++++++ src/test/compile-fail/issue-2969.rs | 9 +++++++++ src/test/compile-fail/issue-3080.rs | 9 +++++++++ src/test/run-pass/issue-3154.rs | 11 +++++++++++ 4 files changed, 38 insertions(+) create mode 100644 src/test/compile-fail/issue-2951.rs create mode 100644 src/test/compile-fail/issue-2969.rs create mode 100644 src/test/compile-fail/issue-3080.rs create mode 100644 src/test/run-pass/issue-3154.rs diff --git a/src/test/compile-fail/issue-2951.rs b/src/test/compile-fail/issue-2951.rs new file mode 100644 index 000000000000..b759aa2f3e3d --- /dev/null +++ b/src/test/compile-fail/issue-2951.rs @@ -0,0 +1,9 @@ +// xfail-test +fn foo(x: T, y: U) { + let mut xx = x; + xx = y; // error message should mention T and U, not 'a and 'b +} + +fn main() { + +} \ No newline at end of file diff --git a/src/test/compile-fail/issue-2969.rs b/src/test/compile-fail/issue-2969.rs new file mode 100644 index 000000000000..d581e3180366 --- /dev/null +++ b/src/test/compile-fail/issue-2969.rs @@ -0,0 +1,9 @@ +// xfail-test +fn main() +{ +// See #2969 -- error message should be improved + let mut x = [mut 1, 2, 4]; + let v : &int = &x[2]; + x[2] = 6; + assert *v == 6; +} diff --git a/src/test/compile-fail/issue-3080.rs b/src/test/compile-fail/issue-3080.rs new file mode 100644 index 000000000000..b4bf2a0acd94 --- /dev/null +++ b/src/test/compile-fail/issue-3080.rs @@ -0,0 +1,9 @@ +// xfail-test +enum x = (); +impl x { + unsafe fn with() { } // This should fail +} + +fn main() { + x(()).with(); +} diff --git a/src/test/run-pass/issue-3154.rs b/src/test/run-pass/issue-3154.rs new file mode 100644 index 000000000000..bc899b601873 --- /dev/null +++ b/src/test/run-pass/issue-3154.rs @@ -0,0 +1,11 @@ +struct thing { + x: &Q +} + +fn thing(x: &Q) -> thing { + thing{ x: x } +} + +fn main() { + thing(&()); +} \ No newline at end of file