Fix stub @param types not applied inside method bodies (regression since 2.1.38)

[mglaman]

Summary

• Fixes NodeScopeResolver::getPhpDocs() to consult StubPhpDocProvider before falling back to FileTypeMapper when resolving parameter types inside method bodies
• Adds StubPhpDocProvider as a constructor parameter to NodeScopeResolver
• Updates all direct NodeScopeResolver constructor call sites in test infrastructure to include the new parameter

Problem

Since 2.1.38 (PR #4829 — "Rework phpDoc inheritance to resolve through reflection instead of re-walking the hierarchy"), stub @param type overrides were silently ignored inside method bodies. External callers of a stubbed method still saw the correct stub types, but the method's own body would use the source file's @param type instead.

Root cause: The removed PhpDocBlock::docBlockToResolvedDocBlock() helper previously called StubPhpDocProvider::findMethodPhpDoc() first and fell back to FileTypeMapper only if no stub was found. The rewritten path in getPhpDocs() only consulted FileTypeMapper, never checking stubs.

Fixes phpstan/phpstan#14118

Test plan

• New StubMethodBodyTypesTest verifies stub @param callable-string overrides source @param string inside the method body
• New test also confirms external callers still see stub @return non-empty-string
• Full analyser + rules test suites pass (7752 tests, 0 failures)

🤖 Generated with Claude Code

[ondrejmirtes]

Yeah, I know about this, I kind of didn't add support back for this after the refactoring on purpose, because it doesn't make sense to me.

Stub files are for overriding wrong 3rd party PHPDocs. Why do you have a wrong PHPDoc in your analysed code on purpose, and fixing it with a stub file?

[mglaman]

🫠 because Drupal Core has been slow to adopt modern typing and proper phpdocs, relying on phpstan-drupal to fix them. I am 100% OK with this being the case, now. I just wasn't sure if it was an expected regression.

[mglaman]

Closing, the problem is more so in my test I bet in phpstan-drupal with what it is analyzing.