diff options
Diffstat (limited to 'src/tools/clippy/src/docs/cast_nan_to_int.txt')
| -rw-r--r-- | src/tools/clippy/src/docs/cast_nan_to_int.txt | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/tools/clippy/src/docs/cast_nan_to_int.txt b/src/tools/clippy/src/docs/cast_nan_to_int.txt deleted file mode 100644 index 122f5da0c..000000000 --- a/src/tools/clippy/src/docs/cast_nan_to_int.txt +++ /dev/null @@ -1,15 +0,0 @@ -### What it does -Checks for a known NaN float being cast to an integer - -### Why is this bad? -NaNs are cast into zero, so one could simply use this and make the -code more readable. The lint could also hint at a programmer error. - -### Example -``` -let _: (0.0_f32 / 0.0) as u64; -``` -Use instead: -``` -let _: = 0_u64; -```
\ No newline at end of file |