{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"self.infer_top_pat(arm.pat,"}]}
                        self.infer_top_pat(arm.pat, &input_ty, None);
                        let input_ty = self.resolve_ty_shallow(&input_ty);
                    }