File tree Expand file tree Collapse file tree 1 file changed +18
-0
lines changed
third_party/move/tools/move-linter/tests/model_ast_lints Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Original file line number Diff line number Diff line change @@ -116,3 +116,21 @@ warning: [lint] This operation always evaluates to `false`.
116116 │
117117 = To suppress this warning, annotate the function/module with the attribute `#[lint::skip(equal_operands_in_bin_op)]`.
118118 = For more information, see https://aptos.dev/en/build/smart-contracts/linter#equal_operands_in_bin_op.
119+
120+ warning: [lint] This boolean expression can be simplified using idempotence (`a && a` is equivalent to `a`).
121+ ┌─ tests/model_ast_lints/equal_operands_in_bin_op.move:68:13
122+ │
123+ 68 │ if (b || b) { // This should trigger `simpler_boolean_expression` instead of `equal_operands_in_bin_op`
124+ │ ^^^^^^
125+ │
126+ = To suppress this warning, annotate the function/module with the attribute `#[lint::skip(simpler_bool_expression)]`.
127+ = For more information, see https://aptos.dev/en/build/smart-contracts/linter#simpler_bool_expression.
128+
129+ warning: [lint] This boolean expression can be simplified using idempotence (`a && a` is equivalent to `a`).
130+ ┌─ tests/model_ast_lints/equal_operands_in_bin_op.move:72:13
131+ │
132+ 72 │ if (b && b) { // This should trigger `simpler_boolean_expression` instead of `equal_operands_in_bin_op`
133+ │ ^^^^^^
134+ │
135+ = To suppress this warning, annotate the function/module with the attribute `#[lint::skip(simpler_bool_expression)]`.
136+ = For more information, see https://aptos.dev/en/build/smart-contracts/linter#simpler_bool_expression.
You can’t perform that action at this time.
0 commit comments