summaryrefslogtreecommitdiffstats
path: root/tests/ui/consts/control-flow/short-circuit-let.rs
blob: 8a58d06ac87bd6aae746f6dbf0a38e1d66e66c4b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
// `&&` and `||` were previously forbidden in constants alongside let bindings.

// run-pass

const X: i32 = {
    let mut x = 0;
    let _ = true && { x = 1; false };
    x
};

const Y: bool = {
    let x = true && false || true;
    x
};

const fn truthy() -> bool {
    let x = true || return false;
    x
}

const fn falsy() -> bool {
    let x = true && return false;
    x
}

fn main() {
    const _: () = assert!(Y);
    assert!(Y);

    const _: () = assert!(X == 1);
    assert_eq!(X, 1);

    const _: () = assert!(truthy());
    const _: () = assert!(!falsy());
    assert!(truthy() && !falsy());
}