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

Commits

Commits on Jul 23, 2026