{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"self.check_pat_top(decl.pat,"}]}
        self.check_pat_top(decl.pat, decl_ty, ty_span, origin_expr, Some(decl.origin));
        // Type check the pattern. Override if necessary to avoid knock-on errors.
        let pat_ty = self.node_ty(decl.pat.hir_id);