{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"),"}]}
            ),
                span.column_start.saturating_sub(1),
            position(&position_encoding, span, span.line_end, span.column_end.saturating_sub(1)),