Comment 1 for bug 913232

Output from the newest working version:

This is SBCL 1.0.28.47, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (defun f (x)
  (declare (optimize speed)
           (type (and fixnum a) x))
  x)

; in: LAMBDA NIL
; (TYPE (AND FIXNUM A) X)
;
; caught STYLE-WARNING:
; undefined type: A
;
; compilation unit finished
; Undefined type:
; A
; caught 1 STYLE-WARNING condition

F