diff options
| -rw-r--r-- | src/librustc_middle/ty/util.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc_middle/ty/util.rs b/src/librustc_middle/ty/util.rs index 252a11129be..c61e27528ce 100644 --- a/src/librustc_middle/ty/util.rs +++ b/src/librustc_middle/ty/util.rs @@ -778,9 +778,9 @@ impl<'tcx> ty::TyS<'tcx> { } } - /// Returns `true` if equality for this type is both total and structural. + /// Returns `true` if equality for this type is both reflexive and structural. /// - /// Total equality for a type is indicated by an `Eq` impl for that type. + /// Reflexive equality for a type is indicated by an `Eq` impl for that type. /// /// Primitive types (`u32`, `str`) have structural equality by definition. For composite data /// types, equality for the type as a whole is structural when it is the same as equality |