Skip to content

refactor rustc_on_unimplemented's filtering - #155940

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
mejrs:filter
May 3, 2026
Merged

refactor rustc_on_unimplemented's filtering#155940
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
mejrs:filter

rename "condition" to "filter"

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

The logs for this run have expired and are no longer available.