{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"|(pat1,"}]}
            |(pat1, pat2, names)| {
        let arms = izip!(self_patterns, other_patterns, adt.shape.field_names(span)).map(
                let fat_arrow = fat_arrow(span);