Re: Finalizing 'inhibit-automatic-native-compilation'

[Stefan Monnier]

> Are you alluding to some uses we've heard about, or is this just a
> theoretical possibility?  AFAIU, for this to be a real issue, we'd
> need a use where the user (a) disables native-compilation for some
> reason, but (b) still wants advices of natively-compiled code to
> work.  Why would someone do something like that?

(a) definitely happens.
(b) is completely outside the control of the user, it's just a matter of
the user using a package which relies on such an advice.  I'd be very
surprised if this never happens.


        Stefan