simplify

Author: staabm

src/Analyser/ExprHandler/Helper/NonNullabilityHelper.php

@@ -15,7 +15,6 @@
 use PHPStan\DependencyInjection\AutowiredService;
 use PHPStan\TrinaryLogic;
 use PHPStan\Type\TypeCombinator;
-use function array_unshift;
 
 #[AutowiredService]
 final class NonNullabilityHelper
@@ -32,9 +31,7 @@ public function ensureShallowNonNullability(MutatingScope $scope, Scope $origina
 		// keep certainty
 		$certainty = TrinaryLogic::createYes();
 		$hasExpressionType = $originalScope->hasExpressionType($exprToSpecify);
-		if (
-			!$hasExpressionType->no()
-		) {
+		if (!$hasExpressionType->no()) {
 			$certainty = $hasExpressionType;
 		}
 
@@ -51,11 +48,7 @@ public function ensureShallowNonNullability(MutatingScope $scope, Scope $origina
 			return new EnsuredNonNullabilityResult($scope, []);
 		}
 
-		$nativeType = $scope->getNativeType($exprToSpecify);
-
-		$specifiedExpressions = [
-			new EnsuredNonNullabilityResultExpression($exprToSpecify, $exprType, $nativeType, $certainty),
-		];
+		$specifiedExpressions = [];
 
 		// When narrowing an ArrayDimFetch, specifyExpressionType also recursively
 		// narrows the parent array's offset type via intersection with HasOffsetValueType.
@@ -64,14 +57,16 @@ public function ensureShallowNonNullability(MutatingScope $scope, Scope $origina
 			$parentExpr = $exprToSpecify->var;
 			$hasParentExpressionType = $originalScope->hasExpressionType($parentExpr);
 
-			array_unshift($specifiedExpressions, new EnsuredNonNullabilityResultExpression(
+			$specifiedExpressions[] = new EnsuredNonNullabilityResultExpression(
 				$parentExpr,
 				$scope->getType($parentExpr),
 				$scope->getNativeType($parentExpr),
 				$hasParentExpressionType,
-			));
+			);
 		}
 
+		$nativeType = $scope->getNativeType($exprToSpecify);
+		$specifiedExpressions[] = new EnsuredNonNullabilityResultExpression($exprToSpecify, $exprType, $nativeType, $certainty);
 		$scope = $scope->specifyExpressionType(
 			$exprToSpecify,
 			$exprTypeWithoutNull,