]>
Commit | Line | Data |
---|---|---|
923072b8 FG |
1 | #![feature(extern_types)] |
2 | #![feature(no_coverage)] | |
3 | #![feature(type_alias_impl_trait)] | |
4 | #![warn(unused_attributes)] | |
5 | #![no_coverage] | |
6 | //~^ WARN: `#[no_coverage]` does not propagate into items and must be applied to the contained functions directly | |
7 | ||
8 | #[no_coverage] | |
9 | //~^ WARN: `#[no_coverage]` does not propagate into items and must be applied to the contained functions directly | |
10 | trait Trait { | |
11 | #[no_coverage] //~ ERROR `#[no_coverage]` must be applied to coverable code | |
12 | const X: u32; | |
13 | ||
14 | #[no_coverage] //~ ERROR `#[no_coverage]` must be applied to coverable code | |
15 | type T; | |
16 | ||
17 | type U; | |
18 | } | |
19 | ||
20 | #[no_coverage] | |
21 | //~^ WARN: `#[no_coverage]` does not propagate into items and must be applied to the contained functions directly | |
22 | impl Trait for () { | |
23 | const X: u32 = 0; | |
24 | ||
25 | #[no_coverage] //~ ERROR `#[no_coverage]` must be applied to coverable code | |
26 | type T = Self; | |
27 | ||
28 | #[no_coverage] //~ ERROR `#[no_coverage]` must be applied to coverable code | |
29 | type U = impl Trait; //~ ERROR unconstrained opaque type | |
30 | } | |
31 | ||
32 | extern "C" { | |
33 | #[no_coverage] //~ ERROR `#[no_coverage]` must be applied to coverable code | |
34 | static X: u32; | |
35 | ||
36 | #[no_coverage] //~ ERROR `#[no_coverage]` must be applied to coverable code | |
37 | type T; | |
38 | } | |
39 | ||
40 | #[no_coverage] | |
41 | fn main() { | |
42 | #[no_coverage] | |
43 | //~^ WARN `#[no_coverage]` may only be applied to function definitions | |
44 | let _ = (); | |
45 | ||
46 | match () { | |
47 | #[no_coverage] | |
48 | //~^ WARN `#[no_coverage]` may only be applied to function definitions | |
49 | () => (), | |
50 | } | |
51 | ||
52 | #[no_coverage] | |
53 | //~^ WARN `#[no_coverage]` may only be applied to function definitions | |
54 | return (); | |
55 | } |