DfaValue (@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState memState, @NotNull DfaValue arg, @NotNull PsiMethodReferenceExpression methodRef, @NotNull PsiParameter parameter, @Nullable Nullability nullability) { if (TypeConversionUtil.isPrimitiveAndNotNull(parameter.getType())) { arg = CheckNotNullInstruction.dereference(interpreter, memState, arg, NullabilityProblemKind.unboxingMethodRefParameter.problem(methodRef, null)); return DfaUtil.boxUnbox(arg, parameter.getType()); } if (nullability == Nullability.NOT_NULL) { return CheckNotNullInstruction.dereference(interpreter, memState, arg, NullabilityProblemKind.passingToNotNullMethodRefParameter.problem(methodRef, null)); } if (nullability == Nullability.UNKNOWN) { CheckNotNullInstruction.checkNotNullable(interpreter, memState, arg, NullabilityProblemKind.passingToNonAnnotatedMethodRefParameter.problem(methodRef, null)); } return arg; }