Add for post conditions to assignment map analysis

src/Psalm/Checker/Statements/Block/LoopChecker.php

@@ -40,7 +40,7 @@ class LoopChecker
         $assignment_mapper = new \Psalm\Visitor\AssignmentMapVisitor($loop_scope->loop_context->self);
         $traverser->addVisitor($assignment_mapper);
 
-        $traverser->traverse($stmts);
+        $traverser->traverse(array_merge($stmts, $post_conditions));
 
         $assignment_map = $assignment_mapper->getAssignmentMap();
 

tests/RedundantConditionTest.php

@@ -188,6 +188,19 @@ class RedundantConditionTest extends TestCase
                     $ch = curl_init();
                     if (!$ch) {}',
             ],
+            'noRedundantConditionInForCheck' => [
+                '<?php
+                    class Node
+                    {
+                        /** @var Node|null */
+                        public $next;
+
+                        public function iterate(): void
+                        {
+                            for ($node = $this; $node !== null; $node = $node->next) {}
+                        }
+                    }',
+            ],
         ];
     }