notinline suppresses argument checking

Stas Boukarev <email address hidden> writes:

> Public bug reported:
>
> (declaim (notinline test2))
> (defun test2 (c &key name)
> (list c name))
>
> (defun test ()
> (test2))
>
> Signals no compilation style-warnins about test2 being misused.

I suspect that this was at least at one point intentional: clhs 3.2.2.3
says that we can assume that the function test2 being called by test is
the function that was previously defined, except when there has been an
explicit notinline declaration.

Christophe

That just means that we should signal a style-warning in this case, not a full warning. When test2 is in one file, test is another (but no notinline), it signals a style-warning, when they are in the same file, it's a full warning.