VerificationException

constructor(diagnosticPass: DiagnosticPass, cause: Throwable?)