macro_rules! tcx_lifetime {
    ($($($fake_path:ident)::+),+ $(,)?) => { ... };
}