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

fn main() {
    let mut x = 2;
    x = 5.0;
    //~^ ERROR mismatched types
    //~| expected integer, found floating-point number
}