{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"s.push('C');"}]}
    s.push('C');
    // Crate disambiguator and name
    s.push_str(&to_disambiguator(tcx.stable_crate_id(def_path.krate).as_u64()));