Member predicate SystemDiagnosticsCodeAnalysisDoesNotReturnIfAnnotatedAssertFalseMethod::getAssertionFailure

Gets the failure type if the assertion fails for argument i, if any.