| $DIR/error-format-short.rs:9:9: error[E0308]: mismatched types: expected `u32`, found `String` | |
| $DIR/error-format-short.rs:11: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 |