type_ir: remove redundant part of comment#137600

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

davidtwco:predicate-polarity-commentdavidtwco/rust:predicate-polarity-commentCopy head branch name to clipboard