{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"}"}]}
    }
        write!(out, "/{universe:?}")?;
    if let Some(name) = def.external_name.and_then(|e| e.get_name(tcx)) {