A combination of defmacro, functionp, and quoted lambdas yields different results on consecutive evaluations

[Clément Pit-Claudel]

Hey Emacs-devel,

We recently ran into a problem in Flycheck that confused us.  Evaluating the 
following twice yields different results on the first evaluation (nil) and on 
the subsequent ones (t):

;; nil on the first run; t on subsequent ones
(progn
  (defmacro m (f)
    `(function ,f))
  (functionp (m (lambda ()))))

Here it is with more info added:

;; "NOK #'(lambda nil)" on the first run; "OK (lambda nil)" on subsequent runs.
(progn
  (defmacro m8 (f)
    `(function ,f))
  (let ((out (m8 (lambda ()))))
    (message "%s %S"
             (if (functionp out) "OK" "NOK")
             out)))

This seems to stem from the way macro-evaluation works: running 
macroexpand-last-sexp before the first evaluation yields this:

(progn
  (defalias 'm (cons 'macro #'(lambda (f) (list 'function f))))
  (functionp (m #'(lambda nil))))

… but on subsequent evaluations it yields that:

(progn
  (defalias 'm (cons 'macro #'(lambda (f) (list 'function f))))
  (functionp #'(lambda nil)))

Is this expected?  Did we miss something in the manual about this?
Background info: https://github.com/flycheck/flycheck/issues/1398

Thanks!
Clément.