PhantomData: fix documentation wrt interaction with dropck#103413

Merged

bors merged 3 commits intorust-lang:masterfrom RalfJung:phantom-dropck

May 13, 2023

+95-10

Commits on Feb 13, 2023

fix and extend dropck documentation
RalfJung
committed

Commits on Feb 15, 2023

add test for may_dangle and ManuallyDrop
RalfJung
committed

Commits on May 12, 2023

hedge for future changes

RalfJung
and
lcnr
committed