Make compare_predicate_entailment no longer a query#101615

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

compiler-errors:rpitit-perfcompiler-errors/rust:rpitit-perfCopy head branch name to clipboard