diff --git a/src/PhpDoc/TypeNodeResolver.php b/src/PhpDoc/TypeNodeResolver.php index 84862b88a7..0ed2af0adf 100644 --- a/src/PhpDoc/TypeNodeResolver.php +++ b/src/PhpDoc/TypeNodeResolver.php @@ -329,6 +329,7 @@ private function resolveIdentifierTypeNode(IdentifierTypeNode $typeNode, NameSco return new IntersectionType([new ObjectWithoutClassType(), new CallableType()]); case 'never': + case 'noreturn': $type = $this->tryResolvePseudoTypeClassType($typeNode, $nameScope); if ($type !== null) { @@ -340,7 +341,6 @@ private function resolveIdentifierTypeNode(IdentifierTypeNode $typeNode, NameSco case 'never-return': case 'never-returns': case 'no-return': - case 'noreturn': return new NeverType(true); case 'list': diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php index 4d36b44222..a575ad12e5 100644 --- a/tests/PHPStan/Analyser/NodeScopeResolverTest.php +++ b/tests/PHPStan/Analyser/NodeScopeResolverTest.php @@ -1114,6 +1114,7 @@ public function dataFileAsserts(): iterable yield from $this->gatherAssertTypes(__DIR__ . '/data/callable-string.php'); yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-8225.php'); + yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-8242.php'); } /** diff --git a/tests/PHPStan/Analyser/data/bug-8242.php b/tests/PHPStan/Analyser/data/bug-8242.php new file mode 100644 index 0000000000..3c14ddc1f8 --- /dev/null +++ b/tests/PHPStan/Analyser/data/bug-8242.php @@ -0,0 +1,60 @@ +