They are effectively asserting that no exception is raised. I don't know how to make that explicit.