anchor.diff:  	 ;; It is a special variable.  However, we don't know its
   	 ;; type, so we assume it is T, which is the default.
   	 (make-instance 'cleavir-env:special-variable-info
  -	   :name symbol))
  +	   :name symbol
  +	   :global-p t))
   	(;; If the previous test fails, it could still be special
   	 ;; without any type restriction on it.  We can try to
   	 ;; determine whether this is the case by checking whether the
  
positive.code: 	 ;; it might be a special variable.  We can start by checking
  	 ;; whether it is bound.
  	 (boundp symbol)
  	 ;; In that case, it is definitely special.
  	 (make-instance 'cleavir-env:special-variable-info
  	   :name symbol))
  	(;; If it is not bound, it could still be special.  If so, it
  	 ;; might have a restricted type on it.  It will then likely
  	 ;; fail to bind it to an object of some type that we
  
negative.code: 	 ;; It is a special variable.  However, we don't know its
  	 ;; type, so we assume it is T, which is the default.
  	 (make-instance 'cleavir-env:special-variable-info
  	   :name symbol
  	   :global-p t))
  	(;; Otherwise, this symbol does not have any variable
  	 ;; information associated with it.
  	 t
  