DfaValue (@NotNull DfaValueFactory factory, @NotNull DfaMemoryState state, @NotNull DfaValue @NotNull ... arguments) { DfaValue value = getValue(); if (value instanceof DfaVariableValue && JavaDfaHelpers.mayLeakFromType(value.getDfType())) { DfaVariableValue qualifier = ((DfaVariableValue)value).getQualifier(); if (qualifier != null) { JavaDfaHelpers.dropLocality(qualifier, state); } } return value; }