Add support for never-returns

Author: mspirkov

src/PseudoTypes/NeverReturns.php

@@ -0,0 +1,36 @@
+<?php
+
+declare(strict_types=1);
+
+/**
+ * This file is part of phpDocumentor.
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ *
+ * @link      http://phpdoc.org
+ */
+
+namespace phpDocumentor\Reflection\PseudoTypes;
+
+use phpDocumentor\Reflection\PseudoType;
+use phpDocumentor\Reflection\Type;
+use phpDocumentor\Reflection\Types\Never_;
+
+/**
+ * Value Object representing the type 'never-returns'.
+ *
+ * @psalm-immutable
+ */
+final class NeverReturns extends Never_ implements PseudoType
+{
+    public function underlyingType(): Type
+    {
+        return new Never_();
+    }
+
+    public function __toString(): string
+    {
+        return 'never-returns';
+    }
+}

src/TypeResolver.php

@@ -41,6 +41,7 @@
 use phpDocumentor\Reflection\PseudoTypes\LowercaseString;
 use phpDocumentor\Reflection\PseudoTypes\NegativeInteger;
 use phpDocumentor\Reflection\PseudoTypes\NeverReturn;
+use phpDocumentor\Reflection\PseudoTypes\NeverReturns;
 use phpDocumentor\Reflection\PseudoTypes\NonEmptyArray;
 use phpDocumentor\Reflection\PseudoTypes\NonEmptyList;
 use phpDocumentor\Reflection\PseudoTypes\NonEmptyLowercaseString;
@@ -184,6 +185,7 @@ final class TypeResolver
         'iterable' => Iterable_::class,
         'never' => Never_::class,
         'never-return' => NeverReturn::class,
+        'never-returns' => NeverReturns::class,
         'list' => List_::class,
         'non-empty-list' => NonEmptyList::class,
         'non-falsy-string' => NonFalsyString::class,

tests/unit/PseudoTypes/NeverReturnsTest.php

@@ -0,0 +1,32 @@
+<?php
+
+declare(strict_types=1);
+
+/**
+ * This file is part of phpDocumentor.
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ *
+ * @link      http://phpdoc.org
+ */
+
+namespace phpDocumentor\Reflection\PseudoTypes;
+
+use phpDocumentor\Reflection\Types\Never_;
+use PHPUnit\Framework\TestCase;
+
+final class NeverReturnsTest extends TestCase
+{
+    public function testCreate(): void
+    {
+        $type = new NeverReturns();
+
+        $this->assertEquals(new Never_(), $type->underlyingType());
+    }
+
+    public function testToString(): void
+    {
+        $this->assertSame('never-returns', (string) (new NeverReturns()));
+    }
+}

tests/unit/TypeResolverTest.php

@@ -41,6 +41,7 @@
 use phpDocumentor\Reflection\PseudoTypes\LowercaseString;
 use phpDocumentor\Reflection\PseudoTypes\NegativeInteger;
 use phpDocumentor\Reflection\PseudoTypes\NeverReturn;
+use phpDocumentor\Reflection\PseudoTypes\NeverReturns;
 use phpDocumentor\Reflection\PseudoTypes\NonEmptyArray;
 use phpDocumentor\Reflection\PseudoTypes\NonEmptyList;
 use phpDocumentor\Reflection\PseudoTypes\NonEmptyLowercaseString;
@@ -678,6 +679,7 @@ public function provideKeywords(): array
             ['iterable', Iterable_::class],
             ['never', Never_::class],
             ['never-return', NeverReturn::class],
+            ['never-returns', NeverReturns::class],
             ['literal-string', LiteralString::class],
             ['list', List_::class],
             ['non-empty-list', NonEmptyList::class],