FNSR - fix treatPhpDocTypesAsCertain: false

Author: ondrejmirtes

src/Analyser/Fiber/FiberScope.php

@@ -46,7 +46,12 @@ public function getType(Expr $node): Type
 			new BeforeScopeForExprRequest($node, $this),
 		);
 
-		return $beforeScope->toMutatingScope()->getType($node);
+		$scope = $beforeScope->toMutatingScope();
+		if ($this->nativeTypesPromoted) {
+			$scope = $scope->doNotTreatPhpDocTypesAsCertain();
+		}
+
+		return $scope->getType($node);
 	}
 
 	public function getScopeType(Expr $expr): Type
@@ -67,7 +72,12 @@ public function getNativeType(Expr $expr): Type
 			new BeforeScopeForExprRequest($expr, $this),
 		);
 
-		return $beforeScope->toMutatingScope()->getNativeType($expr);
+		$scope = $beforeScope->toMutatingScope();
+		if ($this->nativeTypesPromoted) {
+			$scope = $scope->doNotTreatPhpDocTypesAsCertain();
+		}
+
+		return $scope->getNativeType($expr);
 	}
 
 	public function getKeepVoidType(Expr $node): Type
@@ -77,7 +87,12 @@ public function getKeepVoidType(Expr $node): Type
 			new BeforeScopeForExprRequest($node, $this),
 		);
 
-		return $beforeScope->toMutatingScope()->getKeepVoidType($node);
+		$scope = $beforeScope->toMutatingScope();
+		if ($this->nativeTypesPromoted) {
+			$scope = $scope->doNotTreatPhpDocTypesAsCertain();
+		}
+
+		return $scope->getKeepVoidType($node);
 	}
 
 }