Skip to content

fix ICE in opsem inhabitedness check#159570

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:inhabitedness
Jul 20, 2026
Merged

fix ICE in opsem inhabitedness check#159570
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:inhabitedness