20     type Aliasing: Aliasing;  typedef
25 impl<A: Aliasing, AA: Alignment, V: Validity> Invariants for (A, AA, V) {
26     type Aliasing = A;  typedef
37 pub trait Aliasing: Sealed {  interface
49         T: Copy + Read<I::Aliasing, R>,  in read()  argument
51         I::Aliasing: Reference;  in read()
113 pub trait Reference: Aliasing + Sealed {}
126 impl Aliasing for Shared {
137 impl Aliasing for Exclusive {
149         T: Copy + Read<I::Aliasing, R>,  in read()  argument
151         I::Aliasing: Reference,  in read()
164         T: Copy + Read<I::Aliasing, R>,  in read()  argument
166         I::Aliasing: Reference,  in read()
262 pub trait Read<A: Aliasing, R> {}
264 impl<A: Aliasing, T: ?Sized + crate::Immutable> Read<A, BecauseImmutable> for T {}