pub trait LockAfter<Other> { }Expand description
Indicates that Self is locked after Other.
Indicates that a lock corresponding to the lock level for Self can be
acquired while a lock corresponding to the other lock level type Other is
held.
The trait bound B: LockAfter<A> indicates that, while a lock with level
A is held, a lock with level B can be acquired. The trait LockBefore
is blanket-implemented in terms of this trait, so B: LockAfter<A> implies
A: LockBefore<B>.