// This test checks the output format without the intermediate json representation
//@ compile-flags: --error-format=human
pub fn main() {
let x = 42;
x = 43;
}