verify

Verifies whether the pipeline passes this diagnostic as if by calling invoke, and throwing a VerificationException if it does not.

The VerificationException thrown by this method may contain Throwable.suppressedExceptions entries to indicate that more diagnostic violations are found by this pass.

This method has no effect if this diagnostic does not emit errors.