{"ast_node_type":"variable","tokens":[{"end":22,"kind":"keyword","start":0,"text":"let"}]}
    let arms: Vec<_> =
) -> Vec<WitnessPat<Cx>> {
        patterns.iter().map(|pat| MatchArm { pat, has_guard: false, arm_data: () }).collect();