{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                err.span_label(span, fallback_label.to_string());
            (Res::Def(DefKind::TyAlias, def_id), PathSource::Trait(_)) => {