do not mark interior mutable shared refs as dereferenceable - #98017

Merged

bors merged 3 commits into

rust-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
307e80c
do not mark interior mutable shared refs as dereferenceable
RalfJung
committed
5b7197a
adjust UnsafeCell documentation
RalfJung
committed
35c6dec