Remove a lifetime resolution hack from `compare_predicate_entailment`#104701

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

compiler-errors:rpitit-remove-reempty-hackcompiler-errors/rust:rpitit-remove-reempty-hackCopy head branch name to clipboard