X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fdestructuring-bind.lisp;h=c485b75e77d922bb0b246935e9d4168990e7323e;hb=a160917364f85b38dc0826a5e3dcef87e3c4c62c;hp=e2d699d817f2cdda64103a4bd7f12eac8063599a;hpb=c6ca3162c8abd6ae9cce613f5df5778405806e60;p=sbcl.git

diff --git a/src/code/destructuring-bind.lisp b/src/code/destructuring-bind.lisp
index e2d699d..c485b75 100644
--- a/src/code/destructuring-bind.lisp
+++ b/src/code/destructuring-bind.lisp
@@ -20,5 +20,8 @@ tree structure resulting from the evaluation of EXPRESSION."
                         :doc-string-allowed nil
                         :wrap-block nil)
       `(let ((,whole-name ,expression))
+         ;; This declaration-as-assertion should protect us from
+         ;; (DESTRUCTURING-BIND (X . Y) 'NOT-A-LIST ...).
+         (declare (type list ,whole-name))
          ,@local-decls
          ,body))))