AlwaysRememberedExpr - use getNativeExprType

ondrejmirtes · ondrejmirtes · commit 222676e94aeb · 2025-05-16T14:14:20.000+02:00
diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
@@ -843,7 +843,7 @@ private function resolveType(string $exprString, Expr $node): Type
 		}
 
 		if ($node instanceof AlwaysRememberedExpr) {
-			return $node->getExprType();
+			return $this->nativeTypesPromoted ? $node->getNativeExprType() : $node->getExprType();
 		}
 
 		if ($node instanceof Expr\BinaryOp\Smaller) {

Original file line number	Diff line number	Diff line change
`@@ -843,7 +843,7 @@ private function resolveType(string $exprString, Expr $node): Type`
`843`	`843`	`}`
`844`	`844`
`845`	`845`	`if ($node instanceof AlwaysRememberedExpr) {`
`846`		`- return $node->getExprType();`
	`846`	`+ return $this->nativeTypesPromoted ? $node->getNativeExprType() : $node->getExprType();`
`847`	`847`	`}`
`848`	`848`
`849`	`849`	`if ($node instanceof Expr\BinaryOp\Smaller) {`