Implement array_all type specifying for arrow functions#5134

Open

uekann wants to merge 17 commits intophpstan:2.1.xfrom

uekann:feature/type-specify-array-all

Commits on Apr 8, 2026

Add simple implementation and test cases

uekann
authored and
staabm
committed
Implement of type specifacation for array's key

uekann
authored and
staabm
committed
Support for arrow functions containing arbitrary expr

uekann
authored and
staabm
committed
Refactor

uekann
authored and
staabm
committed
Add nsrt for array all function

uekann
authored and
staabm
committed
Fix condition

uekann
authored and
staabm
committed
Remove unnecessary tests

uekann
authored and
staabm
committed
Refactor

uekann
authored and
staabm
committed
Add new test case for array_all

uekann
authored and
staabm
committed
Fix cs error

uekann
authored and
staabm
committed
Add test case for Closure, list<mixed> and non-empty-array<mixed>

uekann
authored and
staabm
committed
Support for closures containing only return statements

uekann
authored and
staabm
committed
Fix phpstan error

uekann
authored and
staabm
committed
Fix cs error

uekann
authored and
staabm
committed
Add a test case for a closure whose return expression is null

uekann
authored and
staabm
committed
Refactor

uekann
authored and
staabm
committed
Add a test case where the context is truthy

uekann
authored and
staabm
committed