void (@NotNull DfaValue value, @NotNull PsiExpression expression, @NotNull DfaMemoryState state) { if (myForPlace == expression) { ((DfaMemoryStateImpl)state).forRecordedVariableTypes((var, dfType) -> { myResult.merge(var, TypeConstraint.fromDfType(dfType), TypeConstraint::join); }); myRunner.placeVisited(); } }