Re: Why is not end-of-defun-function buffer local?

[martin rudalics]

> The "automatically local when set" is of course making it yet
> a bit messier.  Not sure what we should do about that.

I'm still missing you.  Consider

(defvar foo 0)

(let ((this-buffer (current-buffer)))
  (set (make-local-variable 'foo) 1)
  (let ((foo 2))
    (with-temp-buffer "*foo*"
      (let ((foo 3))
        (with-current-buffer this-buffer
          foo)))))

Doesn't this exhibit the same "deep binding" behavior as
`make-variable-buffer-local'?