eq_diff_op

Source Code

What it does

Checks for subtraction with identical operands.

Example

fn foo(a: u256) -> u256 {
    a - a
}

Could be simplified by replacing the entire expression with zero:

fn foo(a: u256) -> u256 {
    0
}