void (ProblemReporter reporter, DataFlowInstructionVisitor visitor) { visitor.alwaysFailingCalls().remove(TestUtils::isExceptionExpected).forEach(anchor -> { List<? extends MethodContract> contracts = DataFlowInstructionVisitor.getContracts(anchor); if (contracts != null && contracts.isEmpty()) { PsiMethod method = anchor instanceof PsiCallExpression call ? call.resolveMethod() : anchor instanceof PsiMethodReferenceExpression methodRef ? tryCast(methodRef.resolve(), PsiMethod.class) : null; contracts = DfaUtil.addRangeContracts(method, List.of()); } if (contracts == null) return; String message = getContractMessage(contracts); LocalQuickFix causeFix = createExplainFix(anchor, new TrackingRunner.FailingCallDfaProblemType()); reporter.registerProblem(getElementToHighlight(anchor), message, LocalQuickFix.notNullElements(causeFix)); }); }