simplify

Author: staabm

src/Analyser/ExprHandler/Helper/NonNullabilityHelper.php

@@ -51,11 +51,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 +60,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,