Update to PHPStan 2.0

Author: ondrejmirtes

composer.json

@@ -7,7 +7,7 @@
     ],
     "require": {
         "php": "^7.4 || ^8.0",
-        "phpstan/phpstan": "^1.12"
+        "phpstan/phpstan": "^2.0"
     },
     "conflict": {
         "azjezz/psl": "<1.6||>=4.0"
@@ -17,8 +17,8 @@
         "composer/semver": "^3.3",
         "nikic/php-parser": "^4.14.0",
         "php-parallel-lint/php-parallel-lint": "^1.2",
-        "phpstan/phpstan-phpunit": "^1.4.0",
-        "phpstan/phpstan-strict-rules": "^1.6.0",
+        "phpstan/phpstan-phpunit": "^2.0",
+        "phpstan/phpstan-strict-rules": "^2.0",
         "phpunit/phpunit": "^9.6"
     },
     "config": {

src/Type/AssertTypeSpecifyingExtension.php

@@ -42,7 +42,8 @@ public function specifyTypes(MethodReflection $methodReflection, MethodCall $nod
 		return $this->typeSpecifier->create(
 			$args[0]->value,
 			$scope->getType($node),
-			TypeSpecifierContext::createTruthy()
+			TypeSpecifierContext::createTruthy(),
+			$scope
 		);
 	}
 

src/Type/MatchesTypeSpecifyingExtension.php

@@ -44,7 +44,8 @@ public function specifyTypes(MethodReflection $methodReflection, MethodCall $nod
 		return $this->typeSpecifier->create(
 			$args[0]->value,
 			$specType->getTemplateType(TypeInterface::class, 'T'),
-			$context
+			$context,
+			$scope
 		);
 	}
 

src/Type/TypeShapeReturnTypeExtension.php

@@ -12,7 +12,6 @@
 use PHPStan\Type\Generic\GenericObjectType;
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
-use PHPStan\Type\TypeUtils;
 use Psl\Type\Internal\OptionalType;
 use Psl\Type\TypeInterface;
 use function count;
@@ -33,7 +32,7 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,
 		}
 
 		$arg = $scope->getType($args[0]->value);
-		$arrays = TypeUtils::getConstantArrays($arg);
+		$arrays = $arg->getConstantArrays();
 		if (count($arrays) === 0) {
 			return null;
 		}

tests/Type/data/coerce.php

@@ -26,7 +26,7 @@ public function coerceShape(array $input): void
         $output = $specification->coerce($input);
 
         assertType('array{name: string, age: int, location?: array{city: string, state: string, country: string}}', $output);
-        assertType('array', $input);
+        assertType('array<mixed>', $input);
     }
 
 	public function coerceInt($i): void

tests/Type/data/matches.php

@@ -26,7 +26,7 @@ public function matchesShape(array $a): void
 		if ($specification->matches($a)) {
 			assertType('array{name: string, age: int, location?: array{city: string, state: string, country: string}}', $a);
 		} else {
-			assertType('array', $a);
+			assertType('array<mixed>', $a);
 		}
 	}