Retain rootExpr for TypeSpecifier

Author: herndlm

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -727,6 +727,7 @@ private function handleAllNot(
 		if ($methodName === 'allNotNull') {
 			return $this->arrayOrIterable(
 				$scope,
+				$node,
 				$node->getArgs()[0]->value,
 				static function (Type $type): Type {
 					return TypeCombinator::removeNull($type);
@@ -747,6 +748,7 @@ static function (Type $type): Type {
 
 			return $this->arrayOrIterable(
 				$scope,
+				$node,
 				$node->getArgs()[0]->value,
 				static function (Type $type) use ($objectType): Type {
 					return TypeCombinator::remove($type, $objectType);
@@ -758,6 +760,7 @@ static function (Type $type) use ($objectType): Type {
 			$valueType = $scope->getType($node->getArgs()[1]->value);
 			return $this->arrayOrIterable(
 				$scope,
+				$node,
 				$node->getArgs()[0]->value,
 				static function (Type $type) use ($valueType): Type {
 					return TypeCombinator::remove($type, $valueType);
@@ -815,6 +818,7 @@ private function handleAll(
 
 			return $this->arrayOrIterable(
 				$scope,
+				$expression,
 				$exprNode,
 				static function () use ($type): Type {
 					return $type->getIterableValueType();
@@ -830,6 +834,7 @@ static function () use ($type): Type {
 
 	private function arrayOrIterable(
 		Scope $scope,
+		Expr $rootExpr,
 		Expr $expr,
 		Closure $typeCallback
 	): SpecifiedTypes
@@ -861,7 +866,10 @@ private function arrayOrIterable(
 		return $this->typeSpecifier->create(
 			$expr,
 			$specifiedType,
-			TypeSpecifierContext::createTruthy()
+			TypeSpecifierContext::createTruthy(),
+			false,
+			$scope,
+			$rootExpr,
 		);
 	}