{"ast_node_type":"variable","tokens":[{"end":74,"kind":"keyword","start":0,"text":"let"}]}
                        let input_ty = self.resolve_ty_shallow(&input_ty);
                    for arm in arms.iter() {
                        self.infer_top_pat(arm.pat, &input_ty, None);