{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"Some(subpat)"}]}
            Some(subpat) => self.infer_pat(subpat, expected, default_bm, decl),
        let inner_ty = match subpat {
            None => expected.clone(),