Merge branch 'develop'

* develop: Fix EnsureExplicitNullableTypes (#1716) composer(deps-dev): bump phpstan/phpstan from 1.10.66 to 1.10.67 (#1715) composer(deps-dev): bump phpunit/phpunit from 10.5.17 to 10.5.18 (#1712)
OskarStark · Apr 17, 2024 · 80155cd · 80155cd
2 parents af7d363 + 481cebd
commit 80155cd
Show file tree

Hide file tree

Showing 3 changed files with 35 additions and 19 deletions.
diff --git a/composer.lock b/composer.lock
diff --git a/src/Rule/EnsureExplicitNullableTypes.php b/src/Rule/EnsureExplicitNullableTypes.php
@@ -48,13 +48,15 @@ public function check(Lines $lines, int $number, string $filename): ViolationInt
         $lines->next();
 
         while ($lines->valid() && !$lines->current()->isDirective()) {
+            ++$number;
+
             if (!str_contains((string) $lines->current()->clean(), ' = null')) {
                 $lines->next();
 
                 continue;
             }
 
-            $pattern = '/([?]?\w+)\s+\$(\w+)\s*=\s*null(?=\s*[,\)])/';
+            $pattern = '#((?:\??\\\\?\w+[|]?)+)\s+\$(\w+)\s*=\s*null(?=\s*[,\)])#siu';
 
             if ($matches = $lines->current()->clean()->match($pattern, \PREG_SET_ORDER)) {
                 foreach ($matches as $match) {
@@ -65,6 +67,11 @@ public function check(Lines $lines, int $number, string $filename): ViolationInt
                         continue;
                     }
 
+                    // mixed $id = null
+                    if ('mixed' === $types) {
+                        continue;
+                    }
+
                     // int|string|null $id = null
                     $types = explode('|', $types);
 

diff --git a/tests/Rule/EnsureExplicitNullableTypesTest.php b/tests/Rule/EnsureExplicitNullableTypesTest.php
@@ -44,14 +44,21 @@ public static function validProvider(): iterable
         $validCases = [
             'function foo(int $bar = 23)',
             'function foo(?int $bar = null)',
+            'function foo(?\\Throwable $exception = null)',
+            'function foo(\\Throwable|null $exception = null)',
+            'function foo(?Foo\\Bar $bar = null)',
+            'function foo(mixed $bar = null)',
             'function foo(int|null $bar = null)',
             'function foo(int|string|null $bar = null)',
         ];
 
         foreach ($validCases as $validCase) {
             yield $validCase => [
                 NullViolation::create(),
-                new RstSample(['.. code-block:: php', $validCase]),
+                new RstSample([
+                    '.. code-block:: php',
+                    '    '.$validCase,
+                ]),
             ];
         }
     }
@@ -63,6 +70,9 @@ public static function invalidProvider(): iterable
     {
         $invalidCases = [
             'public function foo(int $bar = null)',
+            'public function foo(Throwable $bar = null)',
+            'public function foo(Foo\\Bar $bar = null)',
+            'public function foo(\\Throwable $bar = null)',
             'public function foo(int|string $bar = null)',
             'function foo(int $foo, int $bar = null)',
             'function foo(int $foo, int $bar = null, int $baz)',
@@ -76,10 +86,13 @@ public static function invalidProvider(): iterable
                 Violation::from(
                     'Please use explicit nullable types.',
                     'filename',
-                    1,
+                    2,
                     $invalidCase,
                 ),
-                new RstSample(['.. code-block:: php', $invalidCase]),
+                new RstSample([
+                    '.. code-block:: php',
+                    '    '.$invalidCase,
+                ]),
             ];
         }
     }