Merge commit 'd7b5cbf065' into clippyup

2022-06-16 17:39:06 +02:00 · 2022-06-16 17:39:06 +02:00 · f8f9d01c2a
commit f8f9d01c2a
parent bd071bf5b2
199 changed files with 4158 additions and 1931 deletions
--- a/clippy_lints/src/zero_div_zero.rs
+++ b/clippy_lints/src/zero_div_zero.rs
@ -14,10 +14,11 @@ declare_clippy_lint! {
    ///
    /// ### Example
    /// ```rust
-    /// // Bad
    /// let nan = 0.0f32 / 0.0;
+    /// ```
    ///
-    /// // Good
+    /// Use instead:
+    /// ```rust
    /// let nan = f32::NAN;
    /// ```
    #[clippy::version = "pre 1.29.0"]