{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"sm.span_to_diagnostic_string(span)"}]}
                        sm.span_to_diagnostic_string(span)
                    } else {
                    }