{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"self.tcx().dcx().struct_span_err(span,"}]}
                        self.tcx().dcx().struct_span_err(span, format!("user args: {user_args:?}"));
                    let err =
                    errors_buffer.push(err);