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