Point out that total_cmp is no strict superset of partial comparison#78627

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

est31:total_cmp_no_supersetest31/rust:total_cmp_no_supersetCopy head branch name to clipboard