macro_rules! impl_lock_after {
    ($A:ty => $B:ty) => { ... };
}