A specialization of must-fail to ensure that
a soft error occurs.
Evaluation of (must-fail-with-soft-error <form>) returns
without error exactly when evaluation of <form> causes a soft error.
See must-fail for more details, as must-fail-with-soft-error
abbreviates must-fail as follows.
(defmacro must-fail-with-soft-error (form &rest args)
Also see must-fail-with-error and