(defun f (x) (let ((x (the (cons fixnum) x))) (g) (car x)))
Gets derived as FIXNUM even though G may modify X.
Bug watches keep track of this bug in other bug trackers.