bug#63437: 30.0.50; [BUG] edebug-defun errs on widget-default-create

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Ruijie Yu <ruijie@netyu.xyz>,  63437@debbugs.gnu.org
> Date: Thu, 18 May 2023 09:43:25 -0400
> 
> > I'm asking because the ELisp manual is
> > not entirely clear on this, and I see at least one more case of
> >
> >    (declare (debug body))
> >
> > in our tree, in benchmark.el.  Is that also a bug?
> 
> Yes.

Thanks, fixed, and closing the bug.