Support for native never return type

src/Type/ParserNodeTypeToPHPStanType.php

@@ -82,6 +82,8 @@ public static function resolve($type, ?ClassReflection $classReflection): Type
 			return new NullType();
 		} elseif ($type === 'mixed') {
 			return new MixedType(true);
+		} elseif ($type === 'never') {
+			return new NeverType(true);
 		}
 
 		return new MixedType();

src/Type/TypehintHelper.php

@@ -57,6 +57,8 @@ private static function getTypeObjectFromTypehint(string $typeString, ?string $s
 				return new ErrorType();
 			case 'null':
 				return new NullType();
+			case 'never':
+				return new NeverType(true);
 			default:
 				return new ObjectType($typeString);
 		}
@@ -102,6 +104,9 @@ public static function decideTypeFromReflection(
 		if (\Nette\Utils\Strings::endsWith(strtolower($reflectionTypeString), '\\null')) {
 			$reflectionTypeString = 'null';
 		}
+		if (\Nette\Utils\Strings::endsWith(strtolower($reflectionTypeString), '\\never')) {
+			$reflectionTypeString = 'never';
+		}
 
 		$type = self::getTypeObjectFromTypehint($reflectionTypeString, $selfClass);
 		if ($reflectionType->allowsNull()) {

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -532,6 +532,10 @@ public function dataFileAsserts(): iterable
 			yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5458.php');
 		}
 
+		if (PHP_VERSION_ID >= 80100 || self::$useStaticReflectionProvider) {
+			yield from $this->gatherAssertTypes(__DIR__ . '/data/never.php');
+		}
+
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2760.php');
 	}
 

tests/PHPStan/Analyser/data/never.php

@@ -0,0 +1,20 @@
+<?php // lint >= 8.1
+
+namespace NeverTest;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	public function doFoo(): never
+	{
+		exit();
+	}
+
+	public function doBar()
+	{
+		assertType('*NEVER*', $this->doFoo());
+	}
+
+}