Sync MutatingScope::issetCheck with IssetCheck

ondrejmirtes · ondrejmirtes · commit ff6da9e1a1d8 · 2025-03-13T11:43:05.000+01:00
diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
@@ -2415,8 +2415,7 @@ public function issetCheck(Expr $expr, callable $typeCallback, ?bool $result = n
 				return null;
 			}
 
-			$nativeType = $propertyReflection->getNativeType();
-			if (!$nativeType instanceof MixedType) {
+			if ($propertyReflection->hasNativeType() && !$propertyReflection->isVirtual()->yes()) {
 				if (!$this->hasExpressionType($expr)->yes()) {
 					if ($expr instanceof Node\Expr\PropertyFetch) {
 						return $this->issetCheckUndefined($expr->var);

Original file line number	Diff line number	Diff line change
`@@ -2415,8 +2415,7 @@ public function issetCheck(Expr $expr, callable $typeCallback, ?bool $result = n`
`2415`	`2415`	`return null;`
`2416`	`2416`	`}`
`2417`	`2417`
`2418`		`- $nativeType = $propertyReflection->getNativeType();`
`2419`		`- if (!$nativeType instanceof MixedType) {`
	`2418`	`+ if ($propertyReflection->hasNativeType() && !$propertyReflection->isVirtual()->yes()) {`
`2420`	`2419`	`if (!$this->hasExpressionType($expr)->yes()) {`
`2421`	`2420`	`if ($expr instanceof Node\Expr\PropertyFetch) {`
`2422`	`2421`	`return $this->issetCheckUndefined($expr->var);`