Tests if some subject (object or data) passes the correctness definition for some type. Returns true if the test passes, and false otherwise.
Tests if some subject (object or data) passes the correctness definition for some type. Throws an exception if the subject did not pass the test. The test is not required to return any meainingful value if the test pases.