+cat > $tmpfilename <<EOF
+(in-package :cl-user)
+
+(defun foo ()
+ (declare (muffle-conditions warning))
+ (let ((em 0d0))
+ (declare (type double-float em))
+ (dotimes (i 42)
+ (setf em (float (1+ i))))))
+EOF
+expect_clean_compile $tmpfilename
+
+cat > $tmpfilename <<EOF
+(in-package :cl-user)
+
+(defun foo ()
+ (declare (muffle-conditions warning))
+ (flet ((foo ()
+ (declare (values fixnum))
+ nil))
+ (foo)))
+EOF
+expect_clean_compile $tmpfilename
+
+cat > $tmpfilename <<EOF
+(in-package :cl-user)
+
+(defun foo (x)
+ (declare (muffle-conditions warning)
+ (type (vector (mod 7) 1) x))
+ (setf (aref x 0) 8)
+ x)
+EOF
+expect_clean_compile $tmpfilename
+