{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"//"}]}
// `output` String. See also compute_debuginfo_type_name().
// Pushes the name of the type as it should be stored in debuginfo on the
fn push_debuginfo_type_name<'tcx>(