Don't mention "recover the original" in `From` docs

Co-authored-by: Josh Triplett <josh@joshtriplett.org>

1 files changed, 5 insertions, 2 deletions

diff --git a/library/core/src/convert/mod.rs b/library/core/src/convert/mod.rs
index db9f7237bd6..aed5552ef91 100644
--- a/library/core/src/convert/mod.rs
+++ b/library/core/src/convert/mod.rs
@@ -484,8 +484,11 @@ pub trait Into<T>: Sized {
 /// a `From` implementation, the general expectation is that the conversions
 /// should typically be restricted as follows:
 ///
-/// * The conversion is *lossless*: it cannot fail and it's possible to recover
-///   the original value.  For example, `i32: From<u16>` exists, where the original
+/// * The conversion is *infallible*: if the conversion can fail, use `TryFrom`
+///   instead; don't provide a `From` impl that panics.
+///
+/// * The conversion is *lossless*: semantically, it should not lose or discard
+///   information. For example, `i32: From<u16>` exists, where the original
 ///   value can be recovered using `u16: TryFrom<i32>`.  And `String: From<&str>`
 ///   exists, where you can get something equivalent to the original value via
 ///   `Deref`.  But `From` cannot be used to convert from `u32` to `u16`, since