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`.
116
116
│
117
117
= To suppress this warning, annotate the function/module with the attribute `#[lint::skip(equal_operands_in_bin_op)]`.
118
118
= 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