We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5ec8bdd commit e94be74Copy full SHA for e94be74
tests/methods.rs
@@ -42,6 +42,7 @@ fn methods() {
42
self.count -= 2;
43
}
44
45
+ #[allow(dead_code)]
46
#[invariant(is_even(self.count))]
47
fn this_var_collision(&mut self) -> usize {
48
#[allow(unused_variables)]
0 commit comments