diff --git a/library/std/src/primitive_docs.rs b/library/std/src/primitive_docs.rs
index cba39c3eb14..2ca86a42bff 100644
--- a/library/std/src/primitive_docs.rs
+++ b/library/std/src/primitive_docs.rs
@@ -220,9 +220,9 @@ mod prim_bool {}
 /// ```
 ///
 /// The reason is that, in the first example, there are many possible types that `!` could coerce
-/// to, because the function can return one of many concrete types. However, in the second example,
+/// to, because many types implement `Add<u32>`. However, in the second example,
 /// the `else` branch returns a `0`, which the compiler infers from the return type to be of type
-/// `u32`, which is a concrete type that `!` can be coerced to. See issue [#36375] for more
+/// `u32`. Since `u32` is a concrete type, `!` can and will be coerced to it. See issue [#36375] for more
 /// information on this quirk of `!`.
 ///
 /// [#36375]: https://github.com/rust-lang/rust/issues/36375