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
+  };
+}