;;; Verify type checking policy in full calls: the callee is supposed
;;; to perform check, but the results should not be used before the
;;; check will be actually performed.
-#+nil
(locally
(declare (optimize (safety 3)))
(flet ((bar (f a)
(make-array 1 :element-type '(unsigned-byte 32)
:initial-element n))
nil)))))))
+
+;;; bug 261
+(let ((x (list (the (values &optional fixnum) (eval '(values))))))
+ (assert (equal x '(nil))))