{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"//"}]}
            // Patch up the variants' first few fields.
        } else {
            let old_ity_size = min_ity.size();