{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"err.span_note(span,"}]}
                    err.span_note(span, *note);
                    let span = make_span(&file_text, &start, &end);
                } else {