Skip to content

Remove outdated workaround for P type#159773

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
panstromek:remove-p-workaround
Jul 24, 2026
Merged

Remove outdated workaround for P type#159773
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
panstromek:remove-p-workaround