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