pub trait Read<A: Aliasing, R> { }
Expand description
Ptr
referents that permit unsynchronized read operations.
T: Read<A, R>
implies that a pointer to T
with aliasing A
permits
unsynchronized read oeprations. This can be because A
is Exclusive
or
because T
does not permit interior mutation.
§Safety
T: Read<A, R>
if either of the following conditions holds:
As a consequence, if T: Read<A, R>
, then any Ptr<T, (A, ...)>
is
permitted to perform unsynchronized reads from its referent.