blob: 77cb5e88bf713c16338237a8a823e623f919a963 (
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
|
// compile-flags: -Zdeduplicate-diagnostics=yes
#![feature(lint_reasons)]
#[forbid(unused_variables)]
//~^ NOTE `forbid` level set here
#[expect(unused_variables)]
//~^ ERROR incompatible with previous forbid [E0453]
//~| NOTE overruled by previous forbid
fn expect_forbidden_lint_1() {}
#[forbid(while_true)]
//~^ NOTE `forbid` level set here
//~| NOTE the lint level is defined here
#[expect(while_true)]
//~^ ERROR incompatible with previous forbid [E0453]
//~| NOTE overruled by previous forbid
fn expect_forbidden_lint_2() {
// This while loop will produce a `while_true` lint as the lint level
// at this node is still `forbid` and the `while_true` check happens
// before the compilation terminates due to `E0453`
while true {}
//~^ ERROR denote infinite loops with `loop { ... }`
//~| HELP use `loop`
}
fn main() {
expect_forbidden_lint_1();
expect_forbidden_lint_2();
}
|
