Ignore just-coerced vars

src/Psalm/Internal/Analyzer/Statements/Block/IfAnalyzer.php

@@ -1853,6 +1853,13 @@ class IfAnalyzer
         Context $outer_context,
         array $cond_assigned_var_ids
     ) : void {
+        // this filters out coercions to expeccted types in ArgumentAnalyzer
+        $cond_assigned_var_ids = \array_filter($cond_assigned_var_ids);
+
+        if (!$cond_assigned_var_ids) {
+            return;
+        }
+
         $exprs = self::getDefinitelyEvaluatedOredExpressions($cond);
 
         // if there was no assignment in the first expression it's safe to proceed

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

@@ -1181,7 +1181,7 @@ class ArgumentAnalyzer
             }
 
             if ($context->inside_conditional) {
-                $context->assigned_var_ids[$var_id] = true;
+                $context->assigned_var_ids[$var_id] = false;
             }
 
             if ($was_cloned) {

tests/TypeReconciliation/ConditionalTest.php

@@ -2900,6 +2900,21 @@ class ConditionalTest extends \Psalm\Tests\TestCase
                         }
                     }'
             ],
+            'nonRedundantConditionAfterThing' => [
+                '<?php
+                    class U {
+                        public function takes(self $u) : bool {
+                            return true;
+                        }
+                    }
+
+                    function bar(?U $a, ?U $b) : void {
+                        if ($a === null
+                            || ($b !== null && $a->takes($b))
+                            || $b === null
+                        ) {}
+                    }'
+            ],
         ];
     }