bug#71934: comp--spill-lap-function and closure (wad: bug#71934: 31.0.50; edebug--called-interactively-skip vs. new fun objects)

[Eli Zaretskii]

> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: Stefan Monnier <monnier@iro.umontreal.ca>,  Andrea Corallo
>  <acorallo@gnu.org>,  Eli Zaretskii <eliz@gnu.org>,  71934@debbugs.gnu.org
> Date: Sat, 06 Jul 2024 03:06:24 +0200
> 
> Alan Mackenzie <acm@muc.de> writes:
> 
> > > > All very clever arguments, no doubt, but in the end it means you
> > > > cannot native compile foo.
> >
> > > To obey the docstring, ....
> >
> > Forget that doc string, just do what is right, expected, and convenient
> > for Emacs users, and adjust the doc string afterwards.
> 
> We are actually trying to do that, but we don't understand the code
> because of the lacking or wrong documentation.

I don't understand this difficulty.  Andrea, who wrote that function
(and everything around it) is here, and is very helpful.  How come
this lack of understanding, let alone lack of documentation, is still
with us?