Implement @pure-unless-callable-is-impure#3482

Open

zonuexe wants to merge 19 commits into

phpstan:2.2.xfrom

zonuexe:feature/pure-unless-callable-is-impure

Commits on Jul 5, 2026

Parse @pure-unless-callable-is-impure PHPDoc tag
zonuexe
committed
Thread pure-unless-callable-is-impure through the reflection layer
zonuexe
committed
Wire pure-unless-callable-is-impure into the analyser
zonuexe
committed
Mark callback-accepting builtins as pure-unless-callable-is-impure
zonuexe
committed
Add tests for @pure-unless-callable-is-impure
zonuexe
committed
Fix pure-unless-callable-is-impure parameter flag propagation
zonuexe
committed
Suppress call impure points when pure-unless-callable-is-impure callbacks are pure
zonuexe
committed
Fix CI: avoid named arguments, adjust no-effect fixture
zonuexe
committed
Cover pure-unless-callable-is-impure verdict for maybe-null and maybe-callable arguments
zonuexe
committed
Simplify pure-unless-callable-is-impure metadata reads
zonuexe
committed
Document the shape of the function metadata array
zonuexe
committed
Mark array_all() and array_any() as pure-unless-callable-is-impure
zonuexe
committed
Honor pure-unless-callable-is-impure metadata for stub-reflected functions
zonuexe
committed
Add lint version comment to the PHP 8.4 pure-unless fixture
zonuexe
committed
Honor @pure-unless-callable-is-impure on methods
zonuexe
committed
Note the two paths that intentionally don't thread pure-unless yet
zonuexe
committed
Honor @pure-unless-callable-is-impure on constructor calls
zonuexe
committed
Drop the native mixed property type from the pure-unless fixture
zonuexe
committed
Restructure NewHandler pure-unless branching to match createFromVariant
zonuexe
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Implement @pure-unless-callable-is-impure#3482

Implement @pure-unless-callable-is-impure#3482
zonuexe wants to merge 19 commits into
phpstan:2.2.xfrom
zonuexe:feature/pure-unless-callable-is-impure

Commits on Jul 5, 2026

Parse @pure-unless-callable-is-impure PHPDoc tag

Thread pure-unless-callable-is-impure through the reflection layer

Wire pure-unless-callable-is-impure into the analyser

Mark callback-accepting builtins as pure-unless-callable-is-impure

Add tests for @pure-unless-callable-is-impure

Fix pure-unless-callable-is-impure parameter flag propagation

Suppress call impure points when pure-unless-callable-is-impure callbacks are pure

Fix CI: avoid named arguments, adjust no-effect fixture

Cover pure-unless-callable-is-impure verdict for maybe-null and maybe-callable arguments

Simplify pure-unless-callable-is-impure metadata reads

Document the shape of the function metadata array

Mark array_all() and array_any() as pure-unless-callable-is-impure

Honor pure-unless-callable-is-impure metadata for stub-reflected functions

Add lint version comment to the PHP 8.4 pure-unless fixture

Honor @pure-unless-callable-is-impure on methods

Note the two paths that intentionally don't thread pure-unless yet

Honor @pure-unless-callable-is-impure on constructor calls

Drop the native mixed property type from the pure-unless fixture

Restructure NewHandler pure-unless branching to match createFromVariant