{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"|(pat,"}]}
                |(pat, names)| {
            adt.shape.as_pattern(span, &adt.name).into_iter().zip(adt.shape.field_names(span)).map(
                    let expr = {