{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"symbol.clone(),"}]}
                symbol.clone(),
            record_error_if_symbol_already_used(
                false,