{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"options:"}]}
                options: format!("{options:?}"),
                operands: operands.iter().map(|operand| operand.stable(tables, cx)).collect(),
                line_spans: format!("{line_spans:?}"),