//@ run-pass
// This test verifies the short-circuiting behavior of logical operators `||` and `&&`.
// It ensures that the right-hand expression is not evaluated when the left-hand
// expression is sufficient to determine the result.

fn would_panic_if_called(x: &mut isize) -> bool {
    *x += 1;
    assert!(false, "This function should never be called due to short-circuiting");
    false
}

fn main() {
    let x = 1 == 2 || 3 == 3;
    assert!(x);

    let mut y: isize = 10;
    println!("Result of short-circuit: {}", x || would_panic_if_called(&mut y));
    assert_eq!(y, 10, "y should remain 10 if short-circuiting works correctly");

    if true && x {
        assert!(true);
    } else {
        assert!(false, "This branch should not be reached");
    }
}