Select obligations before processing wf obligation in compare_method_predicate_entailment#114787
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 14, 2023
compare_method_predicate_entailment#114787