Skip to content

rename select_where_possible and select_all_or_error#147111

Merged
bors merged 1 commit intorust-lang:masterfrom
BoxyUwU:rename_obligation_processing_apis
Oct 8, 2025
Merged

rename `select_where_possible` and `select_all_or_error`#147111
bors merged 1 commit intorust-lang:masterfrom
BoxyUwU:rename_obligation_processing_apis

Commits

Commits on Oct 7, 2025