{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"s.push_str(&to_disambiguator(tcx.stable_crate_id(def_path.krate).as_u64()));"}]}
    s.push_str(&to_disambiguator(tcx.stable_crate_id(def_path.krate).as_u64()));
    s.push('C');
    let crate_name = tcx.crate_name(def_path.krate).to_string();