PHPStan 2.0

Author: olekans

.github/workflows/phpstan.yml

@@ -18,6 +18,9 @@ jobs:
         php-version:
           - "7.4"
           - "8.0"
+          - "8.1"
+          - "8.2"
+          - "8.3"
 
     steps:
       - name: "Checkout"

.github/workflows/tests-code-coverage.yml

@@ -21,6 +21,8 @@ jobs:
           - "7.4"
           - "8.0"
           - "8.1"
+          - "8.2"
+          - "8.3"
 
     steps:
       - name: "Checkout"

.github/workflows/tests.yml

@@ -17,6 +17,10 @@ jobs:
       matrix:
         php-version:
           - "7.1"
+          - "8.0"
+          - "8.1"
+          - "8.2"
+          - "8.3"
 
     steps:
       - name: "Checkout"

composer.json

@@ -5,9 +5,9 @@
     "keywords": ["enum", "phpstan"],
     "license": "BSD-3-Clause",
     "require": {
-        "php": "^7.1 | ^8.0",
+        "php": "^7.4 | ^8.0",
         "marc-mabe/php-enum": "^1.1 || ^2.0 || ^3.0 || ^4.0",
-        "phpstan/phpstan": "^1.0"
+        "phpstan/phpstan": "^2.0"
     },
     "require-dev": {
         "phpunit/phpunit": "^7.5 | ^8.5 | 9.4"

src/EnumDynamicReturnTypeExtension.php

@@ -50,11 +50,9 @@ public function __construct()
             return $this->detectGetValueReturnType($class);
         };
 
-        if (method_exists(Enum::class, 'getvalues')) {
-            $this->staticMethods['getvalues'] = function (string $class) {
-                return $this->detectGetValuesReturnType($class);
-            };
-        }
+        $this->staticMethods['getvalues'] = function (string $class) {
+            return $this->detectGetValuesReturnType($class);
+        };
 
         // static methods can be called like object methods
         $this->objectMethods = array_merge($this->objectMethods, $this->staticMethods);
@@ -87,15 +85,23 @@ public function getTypeFromStaticMethodCall(
         // The call class is not a name
         // E.g. an expression on $enumClass::getValues()
         if (!$callClass instanceof Name) {
-            return ParametersAcceptorSelector::selectSingle($methodReflection->getVariants())->getReturnType();
+            return ParametersAcceptorSelector::selectFromArgs(
+                $scope,
+                $staticCall->getArgs(),
+                $methodReflection->getVariants()
+            )->getReturnType();
         }
 
         $callClassName = $callClass->toString();
 
         // Can't detect possible types on static::*()
         // as it depends on defined enumerators of unknown inherited classes
         if ($callClassName === 'static') {
-            return ParametersAcceptorSelector::selectSingle($methodReflection->getVariants())->getReturnType();
+            return ParametersAcceptorSelector::selectFromArgs(
+                $scope,
+                $staticCall->getArgs(),
+                $methodReflection->getVariants()
+            )->getReturnType();
         }
 
         if ($callClassName === 'self') {

src/EnumMethodsClassReflectionExtension.php

@@ -15,7 +15,6 @@ public function hasMethod(ClassReflection $classReflection, string $methodName):
             return false;
         }
 
-        /** @var string|Enum $class */
         $class = $classReflection->getName();
         return array_key_exists($methodName, $class::getConstants());
     }

tests/integration/IntegrationTest.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types=1);
 
 namespace MabeEnum\PHPStan\tests\integration;
 
@@ -11,18 +11,13 @@ final class IntegrationTest extends LevelsTestCase
     /**
      * @return string[][]
      */
-    public function dataTopics(): array
+    public static function dataTopics(): array
     {
-        $dataTopics = [
+        return [
             ['EnumMethodsClassReflection'],
             ['EnumGetValueReturnType'],
+            ['EnumGetValuesReturnType'],
         ];
-
-        if (method_exists(Enum::class, 'getValues')) {
-            $dataTopics[] = ['EnumGetValuesReturnType'];
-        }
-
-        return $dataTopics;
     }
 
     public function getDataPath(): string

tests/integration/data/EnumGetValuesReturnType-3.json

@@ -1,4 +1,9 @@
 [
+    {
+        "message": "Method MabeEnum\\PHPStan\\tests\\integration\\data\\EnumGetValuesReturnType\\Example::staticBaseExprMethodFail() should return array<int, null> but returns array<int, array<int|string, mixed>|bool|float|int|string|null>.",
+        "line": 21,
+        "ignorable": true
+    },
     {
         "message": "Method MabeEnum\\PHPStan\\tests\\integration\\data\\EnumGetValuesReturnType\\Example::staticMethodFail() should return array<int, null> but returns array<int, float|int|string>.",
         "line": 40,
@@ -14,9 +19,19 @@
         "line": 70,
         "ignorable": true
     },
+    {
+        "message": "Method MabeEnum\\PHPStan\\tests\\integration\\data\\EnumGetValuesReturnType\\MyEnum::staticGetValuesFail() should return array<int, null> but returns array<int, array<int|string, mixed>|bool|float|int|string|null>.",
+        "line": 76,
+        "ignorable": true
+    },
     {
         "message": "Method MabeEnum\\PHPStan\\tests\\integration\\data\\EnumGetValuesReturnType\\MyInheritedEnum::inheritSelfGetValuesFail() should return array<int, null> but returns array<int, float|int|string>.",
         "line": 93,
         "ignorable": true
+    },
+    {
+        "message": "Method MabeEnum\\PHPStan\\tests\\integration\\data\\EnumGetValuesReturnType\\MyInheritedEnum::inheritStaticGetValuesFail() should return array<int, null> but returns array<int, array<int|string, mixed>|bool|float|int|string|null>.",
+        "line": 99,
+        "ignorable": true
     }
 ]

tests/integration/data/EnumGetValuesReturnType-7.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Method MabeEnum\\PHPStan\\tests\\integration\\data\\EnumMethodsClassReflection\\Example::fail() should return MabeEnum\\PHPStan\\tests\\integration\\data\\EnumMethodsClassReflection\\MyEnum but returns mixed.",
+        "line": 16,
+        "ignorable": true
+    }
+]