diff --git a/.gitignore b/.gitignore
index 3d05a50e6..6b885ceee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -98,3 +98,4 @@ regressions/eformat-tests/*.txt
 /msvc/sb-bsd-sockets.asd
 /msvc/sockets.asd
 doc/tmp/
+/src/tests/aux-compiler.0058-coerce.lsp
diff --git a/src/tests/normal-tests/compiler.lsp b/src/tests/normal-tests/compiler.lsp
index 0d558f361..2114ec4e6 100644
--- a/src/tests/normal-tests/compiler.lsp
+++ b/src/tests/normal-tests/compiler.lsp
@@ -1257,3 +1257,15 @@
     ;; expand-vector-push
     (is (setf fun (compile nil '(lambda () (vector-push)))))
     (signals program-error (funcall fun))))
+
+;;; Date 2017-08-16
+;;;
+;;; Description
+;;;
+;;;    `si:coerce-to-vector' (called from cmpopt) had invalid
+;;;    check-type statements preventing compilation of valid code.
+(test cmp.0058.coerce-expand
+  (finishes (load (with-compiler ("aux-compiler.0058-coerce.lsp")
+                    '(defun flesh-failures ()
+                      (load-time-value
+                       (coerce #(0) '(simple-array (unsigned-byte 8) (1)))))))))