{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
/// Encodes a ty:Ty name, including its crate and path disambiguators and names.
fn encode_ty_name(tcx: TyCtxt<'_>, def_id: DefId) -> String {