From 4bcdf57d780ee7a2c07c6ad5094b3afacff5bae8 Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Sat, 21 May 2011 17:51:19 -0400 Subject: [PATCH] test: Add a test for mismatched types of if branches --- src/test/compile-fail/if-branch-types.rs | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 src/test/compile-fail/if-branch-types.rs diff --git a/src/test/compile-fail/if-branch-types.rs b/src/test/compile-fail/if-branch-types.rs new file mode 100644 index 00000000000..3434040e97e --- /dev/null +++ b/src/test/compile-fail/if-branch-types.rs @@ -0,0 +1,9 @@ +// error-pattern:mismatched types + +fn main() { + auto x = if (true) { + 10 + } else { + 10u + }; +}