Drop the variadic branch from the level-filtering callback

The callback only decides which members of the observed type findTypeToCheck()
keeps, and this check uses that result for nothing but its ErrorType test - which
the callback cannot influence, since filtering everything out falls back to the
unfiltered type. Unpacking the element type in there therefore changed nothing:
output is identical at levels 3, 5, 7, 8 and 9 on nullable, union, mixed and
object-typed variadic by-ref parameters, which are the shapes where the callback
is consulted at all.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Author: SanderMuller

src/Rules/Variables/ParameterOutTypeCheck.php

@@ -57,16 +57,7 @@ public function check(
 			$scope,
 			$checkedExpr,
 			'',
-			static function (Type $type) use ($outType, $isVariadic): bool {
-				if ($isVariadic) {
-					$type = VariadicByRefParameterOutType::elementType($type);
-					if ($type === null) {
-						return false;
-					}
-				}
-
-				return $outType->isSuperTypeOf($type)->yes();
-			},
+			static fn (Type $type): bool => $outType->isSuperTypeOf($type)->yes(),
 		);
 		if ($typeResult->getType() instanceof ErrorType) {
 			return $typeResult->getUnknownClassErrors();