SBCL

  1. Bug #495467
  2. Comment #1

Comment 1 for bug 495467

Revision history for this message
Tobias C. Rittweiler (tcr) wrote : Re: check-type and (declare (type ...)) annotates different type information?

I don't get any notes at all with 1.0.33.2 on x86-32. Perhaps you can add the actual notes
for both cases.