Skip to content

update fixme in compare_method_predicate_entailment resulting from review of EII#146491

Merged
bors merged 1 commit intorust-lang:masterfrom
jdonszelmann:update-fixme-compare_method_predicate_entailment
Sep 13, 2025
Merged

update fixme in compare_method_predicate_entailment resulting from review of EII#146491
bors merged 1 commit intorust-lang:masterfrom
jdonszelmann:update-fixme-compare_method_predicate_entailment

Commits