diff options
Diffstat (limited to '')
| -rw-r--r-- | src/tools/clippy/src/docs/erasing_op.txt | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/tools/clippy/src/docs/erasing_op.txt b/src/tools/clippy/src/docs/erasing_op.txt deleted file mode 100644 index 3d285a6d8..000000000 --- a/src/tools/clippy/src/docs/erasing_op.txt +++ /dev/null @@ -1,15 +0,0 @@ -### What it does -Checks for erasing operations, e.g., `x * 0`. - -### Why is this bad? -The whole expression can be replaced by zero. -This is most likely not the intended outcome and should probably be -corrected - -### Example -``` -let x = 1; -0 / x; -0 * x; -x & 0; -```
\ No newline at end of file |