do not mark interior mutable shared refs as dereferenceable#98017

Merged

bors merged 3 commits intorust-lang:masterfrom

RalfJung:dereferenceable

Jul 23, 2022

Commits on Jul 22, 2022

rename PointerKind::Shared → SharedMutable to indicate this is NOT the usual shared reference
RalfJung
committed
do not mark interior mutable shared refs as dereferenceable
RalfJung
committed
adjust UnsafeCell documentation
RalfJung
committed