{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"Some(pos)"}]}
                Some(pos) => subpats[pos - 1].span.shrink_to_hi().to(after_fields_span),
                Some(0) => subpats[0].span.to(after_fields_span),
            };