Rollup merge of #115958 - RalfJung:mystery-plus, r=Mark-Simulacrum,no…

…triddle explain mysterious addition in float minimum/maximum Thanks to `@programmerjake` for mentioning this.
rust-lang · Sep 19, 2023 · 1b86218 · 1b86218
2 parents c5f215a + 028c78c
commit 1b86218
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/library/core/src/num/f32.rs b/library/core/src/num/f32.rs
@@ -957,6 +957,7 @@ impl f32 {
         } else if self == other {
             if self.is_sign_negative() && other.is_sign_positive() { self } else { other }
         } else {
+            // At least one input is NaN. Use `+` to perform NaN propagation and quieting.
             self + other
         }
     }

diff --git a/library/core/src/num/f64.rs b/library/core/src/num/f64.rs
@@ -968,6 +968,7 @@ impl f64 {
         } else if self == other {
             if self.is_sign_negative() && other.is_sign_positive() { self } else { other }
         } else {
+            // At least one input is NaN. Use `+` to perform NaN propagation and quieting.
             self + other
         }
     }