Rules about #[NoDiscard] report when call is in (void) cast but s…
#10437
| Job | Run time |
|---|---|
| 2m 11s | |
| 1m 31s | |
| 1m 16s | |
| 1m 26s | |
| 1m 23s | |
| 7m 47s |
#[NoDiscard] report when call is in (void) cast but s…
#10437
| Job | Run time |
|---|---|
| 2m 11s | |
| 1m 31s | |
| 1m 16s | |
| 1m 26s | |
| 1m 23s | |
| 7m 47s |