to satisfy: Only dive into object/array mode if both subject and value have the correct type.
not to satisfy: Don't pass if a non-Unexpected error is caught.