macro_rules! path {
    ($span:expr, $($part:ident)::*) => { ... };
}