{"ast_node_type":"variable","tokens":[{"end":31,"kind":"keyword","start":0,"text":"let"}]}
    let ty = *patterns[0].ty();
fn check(patterns: Vec<DeconstructedPat<Cx>>) -> Vec<Vec<usize>> {
    let arms: Vec<_> =