1 error[E0277]: the trait bound `u32: std::ops::Add<()>` is not satisfied
2 --> $DIR/multiline-span-simple.rs:23:18
4 23 | foo(1 as u32 + //~ ERROR not satisfied
5 | ^ no implementation for `u32 + ()`
7 = help: the trait `std::ops::Add<()>` is not implemented for `u32`
9 error: aborting due to previous error