tests/ui/type/type-check/point-at-inference-3.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// run-rustfix
fn main() {
    let mut v = Vec::new();
    v.push(0i32);
    //~^ NOTE this argument has type `i32`...
    //~| NOTE ... which causes `v` to have type `Vec<i32>`
    v.push(0);
    v.push(1u32); //~ ERROR mismatched types
    //~^ NOTE expected `i32`, found `u32`
    //~| NOTE arguments to this method are incorrect
    //~| NOTE method defined here
    //~| HELP change the type of the numeric literal from `u32` to `i32`
}