| $DIR/short-error-format.rs:6:9: error[E0308]: mismatched types: expected `u32`, found `String` | |
| $DIR/short-error-format.rs:8:7: error[E0599]: no method named `salut` found for type `u32` in the current scope: method not found in `u32` | |
| error: aborting due to 2 previous errors |