wanted: &key type derivation in local calls

[Nikodemus Siivola]

(in-package :sb-c)

(defknown compiler-derived-type (t) (values t t) (unsafe))

(deftransform compiler-derived-type ((x) (t) * :node node)
  (delay-ir1-transform node :optimize)
  (let ((type (type-specifier (lvar-type x))))
    `(values ',type t)))

(defun compiler-derived-type (x)
  (declare (ignore x))
  (values t nil))

(export 'compiler-derived-type)

(in-package :cl-user)

(funcall (compile nil `(lambda (y)
                         (declare (fixnum y))
                         (funcall (lambda (&key x)
                                    (sb-c:compiler-derived-type x))
                                  :x y)))
         13)

returns T, T -- but FIXNUM, T would be nice. (This is not the regression, but the way it has always been.)