+(defun bug231b (x z)
+ (declare (optimize safety) (type integer x))
+ (locally
+ (declare (type (real 1) x))
+ (setq x z))
+ (list x z))
+(assert (raises-error? (bug231b nil 1) type-error))
+(assert (raises-error? (bug231b 0 1.5) type-error))
+(assert (raises-error? (bug231b 0 0) type-error))
+
+;;; A bug appeared in flaky7_branch. Python got lost in unconverting
+;;; embedded tail calls during let-conversion.
+(defun bug239 (bit-array-2 &optional result-bit-array)
+ (declare (type (array bit) bit-array-2)
+ (type (or (array bit) (member t nil)) result-bit-array))
+ (unless (simple-bit-vector-p bit-array-2)
+ (multiple-value-call
+ (lambda (data1 start1)
+ (multiple-value-call
+ (lambda (data2 start2)
+ (multiple-value-call
+ (lambda (data3 start3)
+ (declare (ignore start3))
+ (print (list data1 data2)))
+ (values 0 0)))
+ (values bit-array-2 0)))
+ (values 444 0))))
+(assert (equal (bug239 (make-array 4 :element-type 'bit
+ :adjustable t
+ :initial-element 0)
+ nil)
+ '(444 #*0000)))
+
+(defstruct some-structure a)
+(eval-when (:compile-toplevel)
+ ;; in the big CLASS reorganization in pre8, this would fail with
+ ;; SOME-STRUCTURE-A is not FBOUNDP. Fixed in 0.pre8.64
+ (find-class 'some-structure nil))
+(eval-when (:load-toplevel)
+ (assert (typep (find-class 'some-structure) 'class)))