The following two functions seem to compile to the same code but compiling the first one gives a warning that NIL is bound (defun foo nil (bar (function (lambda (nil) t)))) (defun foo2 nil (bar2 (function (lambda (ignore) t))))