1 files changed, 8 insertions, 0 deletions
diff --git a/src/test/ui/integral-variable-unification-error.rs b/src/test/ui/integral-variable-unification-error.rs
new file mode 100644
index 000000000..8d1621321
--- /dev/null
+++ b/src/test/ui/integral-variable-unification-error.rs
@@ -0,0 +1,8 @@
+fn main() {
+    let mut x //~ NOTE expected due to the type of this binding
+        =
+        2; //~ NOTE expected due to this value
+    x = 5.0;
+    //~^ ERROR mismatched types
+    //~| NOTE expected integer, found floating-point number
+}