Feed explicit_predicates_of instead of predicates_of#143261
Merged
bors merged 2 commits intorust-lang:masterfrom Jul 3, 2025
Merged
Feed explicit_predicates_of instead of predicates_of#143261bors merged 2 commits intorust-lang:masterfrom
explicit_predicates_of instead of predicates_of#143261bors merged 2 commits intorust-lang:masterfrom