Skip to content

Note that NonNull does not launder shared references for mutation#59130

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:non-null
Mar 13, 2019
Merged

Note that NonNull does not launder shared references for mutation#59130
bors merged 2 commits intorust-lang:masterfrom
RalfJung:non-null

Commits

Commits on Mar 12, 2019