Reset remembered match cond when entering match

src/Analyser/MutatingScope.php

@@ -3507,12 +3507,14 @@ public function enterMatch(Expr\Match_ $expr): self
  return $this;
  }
  if ($expr->cond instanceof AlwaysRememberedExpr) {
- return $this;
+ $cond = $expr->cond->expr;
+ } else {
+ $cond = $expr->cond;
  }
 
- $type = $this->getType($expr->cond);
- $nativeType = $this->getNativeType($expr->cond);
- $condExpr = new AlwaysRememberedExpr($expr->cond, $type, $nativeType);
+ $type = $this->getType($cond);
+ $nativeType = $this->getNativeType($cond);
+ $condExpr = new AlwaysRememberedExpr($cond, $type, $nativeType);
  $expr->cond = $condExpr;
 
  return $this->assignExpression($condExpr, $type, $nativeType);

tests/PHPStan/Rules/Comparison/MatchExpressionRuleTest.php

@@ -543,4 +543,13 @@ public function testBugUnhandledTrueWithComplexCondition(): void
  $this->analyse([__DIR__ . '/data/bug-unhandled-true-with-complex-condition.php'], []);
  }
 
+ public function testBug11246(): void
+ {
+ if (PHP_VERSION_ID < 80100) {
+ $this->markTestSkipped('Test requires PHP 8.1.');
+ }
+
+ $this->analyse([__DIR__ . '/data/bug-11246.php'], []);
+ }
+
 }

tests/PHPStan/Rules/Comparison/data/bug-11246.php

@@ -0,0 +1,16 @@
+<?php declare(strict_types = 1); // lint >= 8.1
+
+namespace Bug11246;
+
+$var = 0;
+foreach ([1, 2, 3, 4, 5] as $index) {
+ $var++;
+
+ match ($var % 5) {
+ 1 => 'c27ba0',
+ 2 => '5b9bd5',
+ 3 => 'ed7d31',
+ 4 => 'ffc000',
+ default => '674ea7',
+ };
+}