diff --git a/ansi-tests/ansi-aux.lsp b/ansi-tests/ansi-aux.lsp
index 3de85669daf497369c288483ce641c0455e6a22d..724566a82bc2544063e6416de9907f302a59646c 100644
--- a/ansi-tests/ansi-aux.lsp
+++ b/ansi-tests/ansi-aux.lsp
@@ -285,7 +285,12 @@ the condition to go uncaught if it cannot be classified."
   (handler-bind ((warning #'(lambda (c) (declare (ignore c))
 			      (muffle-warning))))
 		(proclaim '(optimize (safety 3)))
-		(classify-error* (eval form)
+		(classify-error*
+		 (if rt::*compile-tests*
+		     (funcall (compile nil `(lambda ()
+					      (declare (optimize (safety 3)))
+					      ,form)))
+		     (eval form))
 		 )))
 
 (defmacro classify-error (form)
diff --git a/ansi-tests/subtypep-member.lsp b/ansi-tests/subtypep-member.lsp
index c1aa3862342af0edd9a1798a983c30833ae20ef2..420059cfed2e3b88ee6df48cdaa330366889292f 100644
--- a/ansi-tests/subtypep-member.lsp
+++ b/ansi-tests/subtypep-member.lsp
@@ -138,3 +138,22 @@
 		     '(member a b))
   nil)
 
+(deftest subtypep.member.27
+  (check-all-subtypep '(member a b c d) '(satisfies #'symbolp))
+  nil)
+
+(deftest subtypep.member.28
+  (check-all-subtypep '(member a b c d) t)
+  nil)
+
+(deftest subtypep.member.29
+  (check-all-not-subtypep '(member a b 10 z) '(satisfies #'symbolp))
+  nil)
+
+(deftest subtypep.member.30
+  (check-disjointness '(member 1 6 10) '(satisfies #'symbolp))
+  nil)
+
+(deftest subtypep.member.31
+  (check-equivalence '(member a b c d) '(member c d b a))
+  nil)