[phpstan-bot]

Summary

__clone(): never was reported with Method X::__clone() always throws an exception, it should have return type "never". even though it already had that return type. PHPStan replaced the declared native return type of magic methods with the type PHP mandates for them, so the never written in the code was invisible to every rule that reads the method's return type.

PHP always accepts never as the return type of a magic method (zend_check_magic_method_return_type() returns early for MAY_BE_NEVER), so the declared type must be kept.

Changes

• src/Reflection/Php/PhpMethodFromParserNodeReflection.php — the whole block of magic-method return type overrides is now skipped when the declared native return type is never. This covers __clone, __destruct, __unset, __wakeup, __toString, __isset, __sleep, __set, __unserialize, __serialize, __set_state and __debugInfo.
• src/Rules/Playground/MethodNeverRule.php — skip __construct() and __destruct(). PHP does not allow declaring a return type on them at all (Method X::__construct() cannot declare a return type), so telling the user to add never was advice that cannot be followed.

Analogous cases probed:

• __set_state() and __debugInfo() were already correct — they build their type with TypeCombinator::intersect(..., $realReturnType), which collapses to never on its own. They are now handled by the same branch for consistency.
• PhpMethodReflection (BetterReflection-backed methods, i.e. classes outside the analysed file) was already correct — it only applies the mandated type when no native return type is declared.
• Property hooks (get/set) and plain functions/closures/arrow functions have no mandated return type, so there is nothing to override there. Verified no false positive from MethodNeverRule/FunctionNeverRule.
• ReturnTypeRule (src/Rules/Methods/ReturnTypeRule.php) and MissingReturnRule (src/Rules/Missing/MissingReturnRule.php) were silently affected by the same root cause and are fixed by the same change — no rule-side change was needed, but both got regression tests.

Root cause

The pattern is "a mandated magic-method return type overwrites the declared one". PhpMethodFromParserNodeReflection::__construct() rewrote $realReturnType for every magic method it knows about, without looking at what was actually declared. Since PhpMethodFromParserNodeReflection is the reflection used for the method the analyser is currently inside, every rule that works off $scope->getFunction()->getReturnType() saw void/string/bool/array instead of never:

• PHPStan\Rules\Playground\MethodNeverRule — false positive "always throws an exception, it should have return type never" on 11 magic methods that already declared never.
• PHPStan\Rules\Methods\ReturnTypeRule — false negative: return;, return [];, return 'foo';, return true; inside a magic method declared never were all accepted.
• PHPStan\Rules\Missing\MissingReturnRule — wrong message: an empty-bodied __toString(): never was reported as "should return string but return statement is missing" instead of "should always throw an exception or terminate script execution but doesn't do that".

The fix keeps the declared type whenever it is never, which restores agreement with PhpMethodReflection, the reflection used for the same class when it is not the file being analysed.

A second, independent false positive on the same rule: __construct()/__destruct() bodies that always throw were told to add never, which PHP rejects at compile time. MethodNeverRule now skips those two.

Test

• tests/PHPStan/Rules/Playground/data/method-never.php + MethodNeverRuleTest — a MagicMethods class declaring never on __clone, __toString, __isset, __set, __unset, __sleep, __wakeup, __serialize, __unserialize, __set_state and __debugInfo plus an always-throwing __construct/__destruct (all expected to be silent), and a MagicMethodsWithoutNever class with __clone(): void / __toString(): string that still gets reported. Without the fix this produced 11 extra errors.
• tests/PHPStan/Rules/Methods/data/never-magic-method-return-type.php + ReturnTypeRuleTest::testNeverMagicMethodReturnType() — return statements inside magic methods declared never must be reported. Without the fix, zero of the five errors were reported.
• tests/PHPStan/Rules/Missing/data/never-magic-method.php + MissingReturnRuleTest::testNeverMagicMethod() — magic methods declared never with a body that can fall through must report "should always throw an exception or terminate script execution". Without the fix, three of them reported the wrong mandated type and __clone reported nothing.

Each test was confirmed to fail with the source change stashed. make tests, make phpstan and make cs-fix are green.

Fixes phpstan/phpstan#15070

[phpstan-bot]

The review is addressed — the gate is on the branch and pushed (e139b542d), with no local changes left over.

What changed

PhpVersion::supportsNeverReturnType() (>= 80100) was added, PhpMethodFromParserNodeReflection now takes a PhpVersion (threaded from MutatingScope at both enterClassMethod() and enterPropertyHook() call sites), and the skip condition became:

if (!$phpVersion->supportsNeverReturnType() || !$realReturnType instanceof NeverType) {

Plus MethodNeverRulePhp80Test with a phpVersion: 80000 config, asserting the mandated types still win there.

One thing worth knowing about that gate

While working on this I checked whether the branch could ever be reached with never on a pre-8.1 target, and it can't — the gate is redundant in practice:

8.0: node=PhpParser\Node\Name       type=PHPStan\Type\ObjectType             isNeverType=false
8.1: node=PhpParser\Node\Identifier type=PHPStan\Type\NonAcceptingNeverType  isNeverType=true

never is a builtin type in php-parser only from 8.1 (PhpVersion.php:26, 'never' => 80100, consumed by ParserAbstract::handleBuiltinTypes()), and PHPStan builds its parser from the configured version (src/Parser/PhpParserFactory.php:20). Below 8.1 the return type arrives as a Name and ParserNodeTypeToPHPStanType resolves it to ObjectType('never'), so instanceof NeverType is already false. For a phpVersion: {min, max} range, PhpVersionFactoryFactory uses min, so the parser and supportsNeverReturnType() read the same number — they can't disagree.

I confirmed the new PHP 8.0 test is version-sensitive rather than vacuous: flipping its neon to 80100 makes it fail with should never return but return statement found instead of the mandated-type messages. So it does lock in the 8.0 behaviour either way.

The explicit check is harmless and self-documenting, so I left it in as requested — just flagging that it's belt-and-braces over a parser-level guarantee, in case you'd rather not pay the @api constructor signature change for it.

make tests (21257 tests, 97 skipped), make phpstan and make cs-fix are all green on the pushed branch state.

[VincentLanglet]

I think this is ready @staabm