summary refs log tree commit diff
path: root/tests/ui/inline-const/cross-const-control-flow-125846.rs
blob: 109764a1812d244cbac9f998b3028aa293a9ba7c (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
37
38
39
40
41
42
43
44
45
46
//@edition:2021

fn foo() {
    const { return }
    //~^ ERROR: return statement outside of function body
}

fn labelled_block_break() {
    'a: { const { break 'a } }
    //~^ ERROR: `break` outside of a loop or labeled block
    //~| ERROR: use of unreachable label
}

fn loop_break() {
    loop {
        const { break }
        //~^ ERROR: `break` outside of a loop or labeled block
    }
}

fn continue_to_labelled_block() {
    'a: { const { continue 'a } }
    //~^ ERROR: `continue` outside of a loop
    //~| ERROR: use of unreachable label
}

fn loop_continue() {
    loop {
        const { continue }
        //~^ ERROR: `continue` outside of a loop
    }
}

async fn await_across_const_block() {
    const { async {}.await }
    //~^ ERROR: `await` is only allowed inside `async` functions and blocks
}

fn reference_to_non_constant_in_const_block() {
    let x = 1;
    const { &x };
    //~^ ERROR: attempt to use a non-constant value in a constant
}


fn main() {}