Resolve conditional `@throws` types like `($x is 0 ? Exception : void)` at call sites and throw points#5874

Open

phpstan-bot wants to merge 7 commits into

phpstan:2.2.xfrom

phpstan-bot:create-pull-request/patch-7619a59

Commits on Jun 19, 2026

Resolve conditional `@throws` types like `($x is 0 ? Exception : void)` at call sites and throw points

VincentLanglet
authored and
staabm
committed
Resolve template-based conditional `@throws` types like `(TKey is int ? void : Exception)`

authored and
staabm
committed
Remap parameter names in inherited conditional @throws types

authored and
staabm
committed
Move void check into isThrowsValid and drop voidAllowed parameter

authored and
staabm
committed
Add tests for nested conditional @throws types

authored and
staabm
committed

Commits on Jun 20, 2026