{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"};"}]}
            };
                bug!("unexpected pattern type {:?}", pat_ty);
            for (i, subpat) in subpats.iter().enumerate_and_adjust(variant.fields.len(), ddpos) {