Implement @pure-unless-parameter-passed - #6018

Open

zonuexe wants to merge 24 commits into

phpstan:2.2.xfrom

zonuexe:feature/pure-unless-parameter-passed

Commits on Sep 12, 2026

Parse @pure-unless-parameter-passed PHPDoc tag

zonuexe
authored and
staabm
committed
685500c
Thread @pure-unless-parameter-passed through the reflection layer

zonuexe
authored and
staabm
committed
b94f6f1
Wire @pure-unless-parameter-passed into the analyser

zonuexe
authored and
staabm
committed
64b5cc0
Mark by-ref out-parameter builtins as @pure-unless-parameter-passed

zonuexe
authored and
staabm
committed
4d7d78f
Add tests for @pure-unless-parameter-passed

zonuexe
authored and
staabm
committed
83479e1
Cover the pre-PHP 8 parameter names for the by-ref out-parameter builtins

zonuexe
authored and
staabm
committed
a5cb90c
Honor @pure-unless-parameter-passed on constructor calls, unpacked and named arguments

zonuexe
authored and
staabm
committed
542129d
Parse @pure-unless-parameter-passed via phpdoc-parser 2.3.3

zonuexe
authored and
staabm
committed
e488256
Report certain impurity when a @pure-unless-parameter-passed argument is passed

zonuexe
authored and
staabm
committed
53b2159
Recognize @phpstan-pure-unless-callable-is-impure as a known tag

zonuexe
authored and
staabm
committed
8072b9f
Report @pure-unless-parameter-passed on a non-optional parameter

zonuexe
authored and
staabm
committed
a97af65
Expose @pure-unless-parameter-passed parameters as a function-level map

zonuexe
authored and
staabm
committed
a929a4b
Test @pure-unless-parameter-passed with a variadic parameter

zonuexe
authored and
staabm
committed
c664c9f
Mark preg_filter() as @pure-unless-parameter-passed

zonuexe
authored and
staabm
committed
d287335
Combine the callable and parameter-passed purity verdicts

zonuexe
authored and
staabm
committed
4fff657
Update bin/functionMetadata_original.php

zonuexe
and
staabm
committed
f14e737
Match arguments collected by a flagged variadic parameter

zonuexe
authored and
staabm
committed
aceb1ba
Check the body of a @pure-unless-parameter-passed function

zonuexe
authored and
staabm
committed
bcb9e70
Emit every purity condition when generating the function metadata

zonuexe
authored and
staabm
committed
70ce84c
Cover every @pure-unless-parameter-passed builtin mapping

zonuexe
authored and
staabm
committed
bbff464
Settle conditional purity where a callable value is invoked

zonuexe
authored and
staabm
committed
1754fd9
Describe the function metadata entries with one optional-key shape
zonuexe
committed
ecdf9fe
Drop comments that restate the code
zonuexe
committed
e515004
Merge the two conditional purity parameter mergers into one class

zonuexe
and
claude
committed
b2bcda2

Navigation Menu

Implement @pure-unless-parameter-passed - #6018

Implement @pure-unless-parameter-passed#6018
zonuexe wants to merge 24 commits into
phpstan:2.2.xfrom
zonuexe:feature/pure-unless-parameter-passed

Commits on Sep 12, 2026

Parse @pure-unless-parameter-passed PHPDoc tag

Thread @pure-unless-parameter-passed through the reflection layer

Wire @pure-unless-parameter-passed into the analyser

Mark by-ref out-parameter builtins as @pure-unless-parameter-passed

Add tests for @pure-unless-parameter-passed

Cover the pre-PHP 8 parameter names for the by-ref out-parameter builtins

Honor @pure-unless-parameter-passed on constructor calls, unpacked and named arguments

Parse @pure-unless-parameter-passed via phpdoc-parser 2.3.3

Report certain impurity when a @pure-unless-parameter-passed argument is passed

Recognize @phpstan-pure-unless-callable-is-impure as a known tag

Report @pure-unless-parameter-passed on a non-optional parameter

Expose @pure-unless-parameter-passed parameters as a function-level map

Test @pure-unless-parameter-passed with a variadic parameter

Mark preg_filter() as @pure-unless-parameter-passed

Combine the callable and parameter-passed purity verdicts

Update bin/functionMetadata_original.php

Match arguments collected by a flagged variadic parameter

Check the body of a @pure-unless-parameter-passed function

Emit every purity condition when generating the function metadata

Cover every @pure-unless-parameter-passed builtin mapping

Settle conditional purity where a callable value is invoked

Describe the function metadata entries with one optional-key shape

Drop comments that restate the code

Merge the two conditional purity parameter mergers into one class