library/core/tests/ops/control_flow.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

use core::intrinsics::discriminant_value;
use core::ops::ControlFlow;

#[test]
fn control_flow_discriminants_match_result() {
    // This isn't stable surface area, but helps keep `?` cheap between them,
    // even if LLVM can't always take advantage of it right now.
    // (Sadly Result and Option are inconsistent, so ControlFlow can't match both.)

    assert_eq!(
        discriminant_value(&ControlFlow::<i32, i32>::Break(3)),
        discriminant_value(&Result::<i32, i32>::Err(3)),
    );
    assert_eq!(
        discriminant_value(&ControlFlow::<i32, i32>::Continue(3)),
        discriminant_value(&Result::<i32, i32>::Ok(3)),
    );
}