anchor.diff:                                                   (setf (getf (lambda-information-plist lambda) 'notinline) t))
                                                  (list var lambda))))
                                            functions)
  -                       :body (pass1-form `(progn ,@body)
  -                                         (extend-environment env
  -                                                             :functions bindings
  -                                                             :declarations declares)))))))
  +                       :body (let ((env (extend-environment env
  +                                                            :functions bindings
  +                                                            :declarations declares)))
  +                               (pass1-wrap-body-with-type-declarations
  +                                (pass1-form `(progn ,@body) env)
  +                                env declares '())))))))
   
   (defun pass1-function (form env)
     (destructuring-bind (name) (cdr form)
  
positive.code:                                                            (pick-variables 'special declares))
                                          :declarations declares))
                 ;; Process lambda body.
                 (body-ast (pass1-form `(progn ,@body) env))
                 ;; Actually bind &AUX variables, now that the body has been processed.
                 (body-with-aux (if aux-bindings
                                    (ast `(let ,aux-bindings ,body-ast))
  
negative.code:                                             :variables (list (list name var))
                                              :declarations (fake-type-declarations-for declares name)))
                (push var vars))))
          (setf (body inner) (let ((env (extend-environment env :declarations declares)))
                               (pass1-wrap-body-with-type-declarations
                                (pass1-form `(progn ,@body) env)
                                env declares var-names)))
          (dolist (var vars)
            (when (lexical-variable-p var)
              (check-variable-usage var)))
  