src/test/ui/integral-variable-unification-error.rs

   1 fn main() {
   2     let mut x //~ NOTE expected due to the type of this binding
   3         =
   4         2; //~ NOTE expected due to this value
   5     x = 5.0;
   6     //~^ ERROR mismatched types
   7     //~| NOTE expected integer, found floating-point number
   8 }