{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"write!(fmt,"}]}
                    write!(fmt, "{instance}")?;
                        with_no_trimmed_paths!(tcx.def_path_str_with_args(c.def, c.args));
                    if let Some(promoted) = c.promoted {