Skip to content

avoid using 'place projection' for only some of the projections#2253

Merged
ehuss merged 1 commit into
rust-lang:masterfrom
RalfJung:ub-place-proj
May 26, 2026
Merged

avoid using 'place projection' for only some of the projections#2253
ehuss merged 1 commit into
rust-lang:masterfrom
RalfJung:ub-place-proj

Commits

Commits on May 26, 2026