Reword docs for Infallible to make them easier to understand.

1 files changed, 5 insertions, 6 deletions

diff --git a/src/libcore/convert.rs b/src/libcore/convert.rs
index 37b5bfa265d..d3a86f7f3e3 100644
--- a/src/libcore/convert.rs
+++ b/src/libcore/convert.rs
@@ -50,13 +50,12 @@
 
 use fmt;
 
-/// An uninhabited type used as the error type for implementations of fallible
-/// conversion traits in cases where they cannot actually fail.
+/// A type used as the error type for implementations of fallible conversion
+/// traits in cases where conversions cannot actually fail.
 ///
-/// Because `Infallible` has no constructors (variants), a value of this type
-/// can never exist. It is used only to satisfy trait signatures that expect
-/// an error type, and signals to both the compiler and the user that the error
-/// case is impossible.
+/// Because `Infallible` has no variants, a value of this type can never exist.
+/// It is used only to satisfy trait signatures that expect an error type, and
+/// signals to both the compiler and the user that the error case is impossible.
 #[unstable(feature = "try_from", issue = "33417")]
 pub enum Infallible {}