Skip to content

rename select_where_possible and select_all_or_error#147111

Merged
bors merged 1 commit into
rust-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 into
rust-lang:masterfrom
BoxyUwU:rename_obligation_processing_apis

rename `select_where_possible` and `select_all_or_error`

8e9b0c4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view