SBCL

  1. Bug #309125
  2. Comment #0

Comment 0 for bug 309125

Revision history for this message
Nikodemus Siivola (nikodemus) wrote :

  The following code must signal type error:

    (locally (declare (optimize (safety 3)))
      (flet ((foo (x &optional (y (car x)))
               (declare (optimize (safety 0)))
               (list x y)))
        (funcall (eval #'foo) 1)))