Closed
Description
From what I can tell, it's not exercised anywhere in the codebase.
Ptr::read_unaligned
permits reading from a shared pointer through UnsafeCell
s:
Lines 35 to 53 in 7349fe0
We should either add an Immutable
bound or an AliasingSafe
bound.