bug#58509: 29.0.50; Synchronous nativecomp

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: 58509@debbugs.gnu.org,  akrl@sdf.org
> Date: Fri, 14 Oct 2022 13:13:40 +0200
> 
> So I'm not sure why you're bringing up batch-native-compile at all -- it
> seems irrelevant, but perhaps I'm missing something?

It is documented as "Native compilation equivalent of
`batch-byte-compile'", so if it doesn't do what it's advertised to do,
it should be fixed to do it.

Let's wait for Andrea to chime in.