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

Merged

ondrejmirtes merged 29 commits into

phpstan:2.2.xfrom

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

Jul 7, 2026

Commits on Jul 6, 2026

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

zonuexe
authored and
staabm
committed
Thread pure-unless-callable-is-impure through the reflection layer

zonuexe
authored and
staabm
committed
Wire pure-unless-callable-is-impure into the analyser

zonuexe
authored and
staabm
committed
Mark callback-accepting builtins as pure-unless-callable-is-impure

zonuexe
authored and
staabm
committed
Add tests for @pure-unless-callable-is-impure

zonuexe
authored and
staabm
committed
Fix pure-unless-callable-is-impure parameter flag propagation

zonuexe
authored and
staabm
committed
Suppress call impure points when pure-unless-callable-is-impure callbacks are pure

zonuexe
authored and
staabm
committed
Fix CI: avoid named arguments, adjust no-effect fixture

zonuexe
authored and
staabm
committed
Cover pure-unless-callable-is-impure verdict for maybe-null and maybe-callable arguments

zonuexe
authored and
staabm
committed
Simplify pure-unless-callable-is-impure metadata reads

zonuexe
authored and
staabm
committed
Document the shape of the function metadata array

zonuexe
authored and
staabm
committed
Mark array_all() and array_any() as pure-unless-callable-is-impure

zonuexe
authored and
staabm
committed
Honor pure-unless-callable-is-impure metadata for stub-reflected functions

zonuexe
authored and
staabm
committed
Add lint version comment to the PHP 8.4 pure-unless fixture

zonuexe
authored and
staabm
committed
Honor @pure-unless-callable-is-impure on methods

zonuexe
authored and
staabm
committed
Note the two paths that intentionally don't thread pure-unless yet

zonuexe
authored and
staabm
committed
Honor @pure-unless-callable-is-impure on constructor calls

zonuexe
authored and
staabm
committed
Drop the native mixed property type from the pure-unless fixture

zonuexe
authored and
staabm
committed
Restructure NewHandler pure-unless branching to match createFromVariant

zonuexe
authored and
staabm
committed
Cover a union pure-callable|callable argument on a pure-unless constructor

zonuexe
authored and
staabm
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
ondrejmirtes merged 29 commits into
phpstan:2.2.xfrom
zonuexe:feature/pure-unless-callable-is-impure

Commits on Jul 6, 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

Cover a union pure-callable|callable argument on a pure-unless constructor

Commits on Jul 7, 2026

Return TrinaryLogic from isPureUnlessCallableIsImpureParameter()

Check the body of @pure-unless-callable-is-impure functions for purity

Report redundant @pure-unless-callable-is-impure on a pure callable

Return TrinaryLogic from getPureUnlessCallableIsImpureParameters()

Report impure methods overriding @pure-unless-callable-is-impure methods

Add a direct unit test for resolvePureUnlessCallableIsImpureVerdict()

Make SimpleImpurePointTest a self-contained unit test

Share the pure-unless-callable verdict-to-certainty decision

Revert the direct mutation-testing unit test and verdict helper