Fix phpstan/phpstan#9733: PHPDoc types from overridden function are not included in trait typeinfo when aliased

[phpstan-bot]

Summary

When a trait method is aliased (use MyTrait { test as test2; }), PHPDoc types from overridden parent class methods were not being inherited. The parameter type would show as array instead of array<int> from the parent's @param int[] $array annotation.

Changes

• Modified src/Analyser/NodeScopeResolver.php to use the originalTraitMethodName AST attribute (which stores the pre-alias method name) when calling PhpDocInheritanceResolver::resolvePhpDocForMethod(), so the parent class method PHPDoc can be correctly found
• Added regression test tests/PHPStan/Analyser/nsrt/bug-9733.php

Root cause

When a trait method is aliased, NodeScopeResolver renames the method's AST node name from the original (e.g., test) to the alias (e.g., test2) and saves the original as the originalTraitMethodName attribute. However, resolvePhpDocForMethod was called with the aliased name. Since the parent class Base only has a method called test (not test2), the lookup in PhpDocInheritanceResolver failed silently, and no PHPDoc types were inherited.

The fix uses the already-available originalTraitMethodName attribute to pass the original method name to the inheritance resolver.

Test

Added tests/PHPStan/Analyser/nsrt/bug-9733.php which verifies that a trait method aliased via test as test2 correctly inherits the @param int[] $array type from the abstract parent class method, resulting in array<int> instead of plain array.

Fixes phpstan/phpstan#9733

[phpstan-bot]

Everything is already pushed. Here's the summary:

• Review status: Approved by VincentLanglet, no changes requested
• Static analysis: make phpstan passes cleanly (no errors)
• Regression test: bug-9733.php passes successfully
• Test suite: 11,553 tests pass. There's 1 pre-existing failure in RawErrorFormatterTest unrelated to this PR (it's about error identifier formatting in the raw output formatter)
• Branch: Already up-to-date with remote

The PR is ready to merge.