Skip to content

make &mut !Unpin not dereferenceable, and Box<!Unpin> not noalias#106180

Merged
bors merged 3 commits into
rust-lang:masterfrom
RalfJung:dereferenceable-generators
Feb 7, 2023
Merged

make &mut !Unpin not dereferenceable, and Box<!Unpin> not noalias#106180
bors merged 3 commits into
rust-lang:masterfrom
RalfJung:dereferenceable-generators

also do not add noalias on not-Unpin Box

1ef1687
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs