Skip to content

Commit eaab611

Browse files
committed
Update MutatingScope.php
1 parent 90c615a commit eaab611

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/Analyser/MutatingScope.php

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4357,7 +4357,7 @@ public function specifyExpressionType(Expr $expr, Type $type, Type $nativeType,
43574357
$this->parentScope,
43584358
$this->nativeTypesPromoted,
43594359
);
4360-
$scope->resolvedTypes = $this->preserveResolvedTypes($expressionTypes);
4360+
$scope->resolvedTypes = $this->preserveResolvedTypes([$exprString]);
43614361

43624362
if ($expr instanceof AlwaysRememberedExpr) {
43634363
return $scope->specifyExpressionType($expr->expr, $type, $nativeType, $certainty);
@@ -4407,15 +4407,15 @@ public function assignInitializedProperty(Type $fetchedOnType, string $propertyN
44074407
}
44084408

44094409
/**
4410-
* @param array<string, ExpressionTypeHolder> $expressionTypes
4410+
* @param array<string> $changedExpressions
44114411
*
44124412
* @return array<string, ExpressionTypeHolder>
44134413
*/
4414-
private function preserveResolvedTypes(array $expressionTypes): array
4414+
private function preserveResolvedTypes(array $changedExpressions): array
44154415
{
44164416
$preservedTypes = $this->resolvedTypes;
44174417
foreach($preservedTypes as $exprStringToInvalidate => $resolvedType) {
4418-
foreach ($expressionTypes as $exprString => $exprTypeHolder) {
4418+
foreach ($changedExpressions as $exprString) {
44194419
if (str_contains($exprStringToInvalidate, $exprString)) {
44204420
unset ($preservedTypes[$exprStringToInvalidate]);
44214421
continue 2;

0 commit comments

Comments
 (0)