define-type expect-failure
Display user-supplied error message