Post-assertions in loops

src/Psalm/Issue/CodeIssue.php

@@ -86,20 +86,23 @@ public function getMessage(): string
         return $this->message;
     }
 
+    public static function getIssueType(): string
+    {
+        $fqcn_parts = explode('\\', static::class);
+        return array_pop($fqcn_parts);
+    }
+
     public function toIssueData(string $severity): IssueData
     {
         $location = $this->code_location;
         $selection_bounds = $location->getSelectionBounds();
         $snippet_bounds = $location->getSnippetBounds();
 
-        $fqcn_parts = explode('\\', static::class);
-        $issue_type = array_pop($fqcn_parts);
-
         return new IssueData(
             $severity,
             $location->getLineNumber(),
             $location->getEndLineNumber(),
-            $issue_type,
+            static::getIssueType(),
             $this->message,
             $location->file_name,
             $location->file_path,

src/Psalm/IssueBuffer.php

@@ -326,11 +326,31 @@ public static function add(CodeIssue $e, bool $is_fixable = false): bool
         return true;
     }
 
+    private static function removeRecordedIssue(string $issue_type, int $file_offset): void
+    {
+        $recorded_issues = self::$recorded_issues[self::$recording_level];
+        $filtered_issues = [];
+
+        foreach ($recorded_issues as $issue) {
+            [$from] = $issue->code_location->getSelectionBounds();
+
+            if ($issue::getIssueType() !== $issue_type || $from !== $file_offset) {
+                $filtered_issues[] = $issue;
+            }
+        }
+
+        self::$recorded_issues[self::$recording_level] = $filtered_issues;
+    }
+
     /**
      * This will try to remove an issue that has been added for emission
      */
     public static function remove(string $file_path, string $issue_type, int $file_offset): void
     {
+        if (self::$recording_level > 0) {
+            self::removeRecordedIssue($issue_type, $file_offset);
+        }
+
         if (!isset(self::$issues_data[$file_path])) {
             return;
         }

tests/Loop/ForeachTest.php

@@ -430,6 +430,29 @@ function getStrings(): array {
                     'MixedAssignment',
                 ],
             ],
+            'noMixedAssigmentWithIfAssertion' => [
+                '<?php
+                    $object = new stdClass();
+                    $reflection = new ReflectionClass($object);
+
+                    foreach ($reflection->getProperties() as $property) {
+                        $message = $property->getValue($reflection->newInstance());
+
+                        if (!is_string($message)) {
+                            throw new RuntimeException();
+                        }
+                    }',
+            ],
+            'noMixedAssigmentWithAssertion' => [
+                '<?php
+                    $object = new stdClass();
+                    $reflection = new ReflectionClass($object);
+
+                    foreach ($reflection->getProperties() as $property) {
+                        $message = $property->getValue($reflection->newInstance());
+                        assert(is_string($message));
+                    }',
+            ],
             'nullToMixedWithNullCheckAndContinue' => [
                 '<?php
                     $a = null;