// Regression test for issue #91725.
//
//@ run-pass
//@ compile-flags: -Zmir-opt-level=4

fn main() {
    let a = true;
    let _ = &a;
    let mut b = false;
    b |= a;
    assert!(b);
}