Skip to content

Do not promote &mut of a non-ZST ever#75585

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:demotion
Sep 8, 2020
Merged

Do not promote &mut of a non-ZST ever#75585
bors merged 2 commits intorust-lang:masterfrom
RalfJung:demotion

Commits

Commits on Sep 6, 2020