macro_rules! method {
    ($visit:ident: $ty:ty, $invoc:path, $walk:ident) => { ... };
}