fix a comment about assert_receiver_is_total_eq#115888

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:assert_receiver_is_total_eqRalfJung/rust:assert_receiver_is_total_eqCopy head branch name to clipboard