fix a comment about assert_receiver_is_total_eq

[RalfJung]

"a type implements #[deriving]" doesn't make any sense, so I assume they meant "implement Eq"? Also the attribute is called derive.

[rustbot]

r? @m-ou-se

(rustbot has picked a reviewer for you, use r? to override)

[dtolnay]

Thanks!

[dtolnay]

@bors r+ rollup

[bors]

📌 Commit d49123d has been approved by dtolnay

It is now in the queue for this repository.

[dtolnay]

This leads me to wonder how true "doing this assertion without using a method on this trait is nearly impossible" still is, or if we should be generating something like:

// before
#[automatically_derived]
impl<$generics> ::core::cmp::Eq for $Thing {
    #[inline]
    #[doc(hidden)]
    #[coverage(off)]
    fn assert_receiver_is_total_eq(&self) {
        let _: ::core::cmp::AssertParamIsEq<$FieldType>;
    }
}

// after
#[automatically_derived]
impl<$generics> ::core::cmp::Eq for $Thing {}
const _: () = {
    #[coverage(off)]
    fn assert_fields_are_total_eq<$generics>(_: &$Thing) {
        let _: ::core::cmp::AssertParamIsEq<$FieldType>;
    }
};