error[E0308]: mismatched types
  --> $DIR/point-at-inference-3.rs:6:12
   |
LL |     v.push(1u32);
   |       ---- ^^^^ expected `i32`, found `u32`
   |       |
   |       arguments to this method are incorrect
   |
note: associated function defined here
  --> $SRC_DIR/alloc/src/vec/mod.rs:LL:COL
help: change the type of the numeric literal from `u32` to `i32`
   |
LL |     v.push(1i32);
   |             ~~~

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.