Fix #2442 - using asserting after a MixedAssignment removes that error

src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallAnalyzer.php

@@ -682,6 +682,14 @@ class FunctionCallAnalyzer extends \Psalm\Internal\Analyzer\Statements\Expressio
                     );
 
                     foreach ($changed_var_ids as $var_id => $_) {
+                        if ($first_appearance = $statements_analyzer->getFirstAppearance($var_id)) {
+                            IssueBuffer::remove(
+                                $statements_analyzer->getFilePath(),
+                                'MixedAssignment',
+                                $first_appearance->raw_file_start
+                            );
+                        }
+
                         if (isset($op_vars_in_scope[$var_id])) {
                             $op_vars_in_scope[$var_id]->from_docblock = true;
                         }

src/Psalm/Internal/Analyzer/Statements/Expression/CallAnalyzer.php

@@ -3596,6 +3596,14 @@ class CallAnalyzer
 
             foreach ($changed_var_ids as $var_id => $_) {
                 if (isset($op_vars_in_scope[$var_id])) {
+                    if ($first_appearance = $statements_analyzer->getFirstAppearance($var_id)) {
+                        IssueBuffer::remove(
+                            $statements_analyzer->getFilePath(),
+                            'MixedAssignment',
+                            $first_appearance->raw_file_start
+                        );
+                    }
+
                     $op_vars_in_scope[$var_id]->from_docblock = true;
 
                     foreach ($op_vars_in_scope[$var_id]->getAtomicTypes() as $changed_atomic_type) {

src/Psalm/IssueBuffer.php

@@ -240,6 +240,23 @@ class IssueBuffer
         return true;
     }
 
+    public static function remove(string $file_path, string $issue_type, int $file_offset) : void
+    {
+        if (!isset(self::$issues_data[$file_path])) {
+            return;
+        }
+
+        $filtered_issues = [];
+
+        foreach (self::$issues_data[$file_path] as $issue) {
+            if ($issue['type'] !== $issue_type || $issue['from'] !== $file_offset) {
+                $filtered_issues[] = $issue;
+            }
+        }
+
+        self::$issues_data[$file_path] = $filtered_issues;
+    }
+
     public static function addFixableIssue(string $issue_type) : void
     {
         if (isset(self::$fixable_issue_counts[$issue_type])) {

tests/JsonOutputTest.php

@@ -242,6 +242,15 @@ echo $a;';
                 'line' => 6,
                 'error' => '"hello"',
             ],
+            'assertCancelsMixedAssignment' => [
+                '<?php
+                    $a = $_GET["hello"];
+                    assert(is_int($a));
+                    if (is_int($a)) {}',
+                'message' => "Found a redundant condition when evaluating docblock-defined type \$a and trying to reconcile type 'int' to int",
+                'line' => 4,
+                'error' => 'is_int($a)',
+            ],
         ];
     }
 }