anchor.diff:  					  binding
   					  (first binding))))
   	     (body-env (construct-let-body-environment
  -			variables canonical-declarations env))
  +			variables canonical-dspecs env))
   	     (ast (cleavir-ast:make-progn-ast
   		   (convert-sequence forms body-env))))
   	(loop for binding in (reverse bindings)
  
positive.code: 	     (environments
  	       (flet ((augment (variable env)
  			(augment-environment-with-variable
  			 variable canonical-declarations env env)))
  		 (loop for variable in variables
  		       for new-env = (augment variable env)
  			 then (augment variable new-env)
  
negative.code:   (destructuring-bind (bindings &rest body) (cdr form)
      (multiple-value-bind (declarations forms)
  	(cleavir-code-utilities:separate-ordinary-body body)
        (let* ((canonical-dspecs
  	       (cleavir-code-utilities:canonicalize-declaration-specifiers 
  		(reduce #'append (mapcar #'cdr declarations))))
  	     (variables (loop for binding in bindings
  