lvar-conservative-type not conservative enough

[Stas Boukarev]

(defun f (x)
  (let ((x (the (cons fixnum) x)))
    (g)
    (car x)))

Gets derived as FIXNUM even though G may modify X.