[ondrejmirtes]

Adds Type::toNativePhpTypeNode(NativeTypePosition $position), the native-declaration counterpart of toPhpDocNode(). It returns Identifier|Name|ComplexType|null (PHPDoc only, so the PHP 7.4 downgrade keeps the interface and implementations compatible). It returns null when the type cannot be written in that position.

The motivation is Rector: its PHPStanStaticTypeMapper keeps about 30 type mappers whose only job is turning PHPStan types back into php-parser type nodes. A prototype that replaces them with this method passes Rector's test suite.

NativeTypePosition

A value object like VerbosityLevel, built from a PHP version:

• NativeTypePosition::parameter($phpVersion), returnType(), property(), classConstant().
• It answers feature questions instead of naming the position: isCallableAllowed(), isVoidAllowed(), isStaticAllowed(), isNullableAllowed(), isUnionAllowed(), isIntersectionAllowed(), and so on. A property, for example, does not allow callable.
• Compound types derive positions for their members: toUnionMember(), toNullableInner(), toIntersectionMember(). IntersectionType only asks isIntersectionAllowed(), so a standalone A&B is emitted from PHP 8.1, while inside a union (DNF) it needs 8.2.

Behaviour

• Foo|null becomes ?Foo wherever the nullable syntax is allowed; otherwise null goes last in the union.
• Redundant union members that PHP rejects are dropped: Foo|object, array|iterable, A|(A&B).
• Accessory types widen to their base (non-empty-string → string, list → array). object&hasMethod(foo) becomes object.
• Late-resolvable types resolve first. Implicit mixed, resource and error types give null.

TypeToNativePhpTypeNodeTest round-trips every case through ParserNodeTypeToPHPStanType and asserts that the result is a supertype of the original.

Turbo

The shadowed types implement the method natively. The union and intersection logic lives in NativePhpTypeNodeHelper, which both the PHP classes and the extension call. type-family.php compares native and PHP results for 48 types across 20 positions.

[ondrejmirtes]

The phpdoc doesn't have to be there. It's implicitly inherited.In case PHPStan complains about too-wide type, you can put a narrower type here.

Go through all similar code and remove extraneous PHPDocs like that.

[ondrejmirtes]

Removed the redundant @return PHPDocs from all 40 implementations in 594c472, along with the imports they left unused. PHPStan doesn't need a narrower type anywhere. The only PHPDocs left are on Type::toNativePhpTypeNode() itself and the two static methods of NativePhpTypeNodeHelper, which don't inherit one.