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