(maclina.compile:compile '(lambda (&aux x) (declare (ignore x)))) gives an unused warning for x. This is because &aux variables are compiled as an implicit let*, and while special declarations are copied over, other declarations, like ignore, are not.