Fix #3461 by removing file from issues after removing last issue (#3462)

vimeo · May 27, 2020 · 700b5dd · 700b5dd
1 parent b4855b3
commit 700b5dd
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/Psalm/IssueBuffer.php b/src/Psalm/IssueBuffer.php
@@ -253,7 +253,11 @@ public static function remove(string $file_path, string $issue_type, int $file_o
             }
         }
 
-        self::$issues_data[$file_path] = $filtered_issues;
+        if (empty($filtered_issues)) {
+            unset(self::$issues_data[$file_path]);
+        } else {
+            self::$issues_data[$file_path] = $filtered_issues;
+        }
     }
 
     public static function addFixableIssue(string $issue_type) : void