{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"variant.size"}]}
                            variant.size = new_ity_size;
                        if variant.size <= old_ity_size {
                        }