Skip to content

Refactor is_opsem_inhabited#159625

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
camsteffen:opsem-inhabited-refactor
Jul 22, 2026
Merged

Refactor is_opsem_inhabited#159625
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
camsteffen:opsem-inhabited-refactor