void (@NotNull DfaValue value, @NotNull PsiExpression expression, @NotNull DfaMemoryState state) { if (expression == forPlace) { if (!(value instanceof DfaVariableValue) || ((DfaVariableValue)value).isFlushableByCalls()) { value = value.getFactory().getVarFactory().createVariableValue(new ExpressionVariableDescriptor(expression)); } constraint = constraint.join(TypeConstraint.fromDfType(state.getDfType(value))); runner.placeVisited(); } }