{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"providers.source_span"}]}
    providers.source_span = |tcx, def_id| tcx.untracked.source_span.get(def_id).unwrap_or(DUMMY_SP);
    };
}