about summary refs log tree commit diff
path: root/tests/ui/loop-match/invalid-attribute.rs
blob: d8d2f605eb496bae414a1d407439a2253f1633e5 (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
// Test that the `#[loop_match]` and `#[const_continue]` attributes can only be
// placed on expressions.

#![allow(incomplete_features)]
#![feature(loop_match)]
#![loop_match] //~ ERROR should be applied to a loop
#![const_continue] //~ ERROR should be applied to a break expression

extern "C" {
    #[loop_match] //~ ERROR should be applied to a loop
    #[const_continue] //~ ERROR should be applied to a break expression
    fn f();
}

#[loop_match] //~ ERROR should be applied to a loop
#[const_continue] //~ ERROR should be applied to a break expression
#[repr(C)]
struct S {
    a: u32,
    b: u32,
}

trait Invoke {
    #[loop_match] //~ ERROR should be applied to a loop
    #[const_continue] //~ ERROR should be applied to a break expression
    extern "C" fn invoke(&self);
}

#[loop_match] //~ ERROR should be applied to a loop
#[const_continue] //~ ERROR should be applied to a break expression
extern "C" fn ok() {}

fn main() {
    #[loop_match] //~ ERROR should be applied to a loop
    #[const_continue] //~ ERROR should be applied to a break expression
    || {};

    {
        #[loop_match] //~ ERROR should be applied to a loop
        #[const_continue] //~ ERROR should be applied to a break expression
        5
    };
}