fn test(x: i32) -> bool {
    return x + 1; // { dg-error "mismatched types, expected .bool. but got .i32." }
}

fn main() {
    let an_integer = 5;

    let call_test = test(1);
}