@pure-unless-callable-is-impurearray_map. Available since PHPStan 2.2.
References:
- PHPStan phpdocs-basics: Conditionally pure functions| Analyzer | Version | Result | Diagnostics |
|---|---|---|---|
| phan | 6.0.7Phan 6.0.7 php-ast version 1.1.3 PHP version used to run Phan: 8.5.9 | Not enforced | No diagnostics reported.
|
| phpstan | 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 | Enforced reported Lv.2+ | phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: Impure call to function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureMapper() in pure function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureCaller(). [identifier=impure.functionCall] [reported-from-level=2] phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: Impure call to function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\mapInts() in pure function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureCaller(). [identifier=impure.functionCall] [reported-from-level=2] With strict-rulesphpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: Impure call to function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureMapper() in pure function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureCaller(). [identifier=impure.functionCall] phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: Impure call to function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\mapInts() in pure function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureCaller(). [identifier=impure.functionCall]
|
| psalm | 6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac next: 7.0.0-beta19 |
Enforced | phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:47: Cannot call an impure function from a mutation-free context [ImpureFunctionCall] phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: Cannot call an impure function from a mutation-free context [ImpureFunctionCall]
Expectation diffLine 47: Expected valid value to be accepted, got ["Cannot call an impure function from a mutation-free context [ImpureFunctionCall]"] |
| mago | 1.46.0mago 1.46.0 | Not enforced | No diagnostics reported.
|
| mir | 0.70.1mir 0.70.1 | Enforced | phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:47: ImpureFunctionCall: Calling impure function mapInts() in a @pure function [MIR1704] phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: ImpureFunctionCall: Calling impure function mapInts() in a @pure function [MIR1704]
Expectation diffLine 47: Expected valid value to be accepted, got ["ImpureFunctionCall: Calling impure function mapInts() in a @pure function [MIR1704]"] |
| phpantom | 0.9.0phpantom_lsp 0.9.0 | Not enforced | No diagnostics reported.
|
| intelephense | 1.18.5intelephense 1.18.5 | Not enforced | No diagnostics reported.
|
| phpy | 0.2.0phpy 0.2.0 | Not enforced | No diagnostics reported.
|
| qodana | 262.8665.325Qodana 262.8665.325 | Not enforced | No diagnostics reported.
|
| noverify | 0.5.5NoVerify, version 0.5.5: built on: 2025.04.22 14:36:46 OS: r-kuchinskas arm64 Commit: 4774b82f8adc53fbef38f95e97af4b953b4d1529 | Unrecognized ⚠ 1 false positive | phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:23: param $values miss matched with phpdoc type <<list<int>>> [funcParamTypeMissMatch] phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:27: not null safety call in function Closure$(int):int signature of param closure param #0 [notNullSafetyFunctionArgumentVariable] phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: Too few arguments for Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureMapper, expecting 1, saw 0 [argCount]
Expectation diffLine 27: Unexpected errors ["not null safety call in function Closure$(int):int signature of param closure param #0 [notNullSafetyFunctionArgumentVariable]"] |
| steins | 0.1.5steins 0.1.5 (2026-08-12 revision 39b4cc1) | Enforced | phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: impureMapper() has effect nondet.random (via random_int at line 38), but impureCaller() is declared @phpstan-pure [effect.envelope-exceeded]
|
| phpstan-strict | 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 | Enforced | phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: Impure call to function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureMapper() in pure function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureCaller(). [identifier=impure.functionCall] phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: Impure call to function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\mapInts() in pure function Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure\impureCaller(). [identifier=impure.functionCall]
|
| psalm-next | 7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433 | Enforced | phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:47: The context is pure but function call on conformance\tests\phpdocadvancedphpstanpureunlesscallableisimpure\mapints is impure [ImpureFunctionCall] phpdoc_advanced_phpstan_pure_unless_callable_is_impure.php:58: The context is pure but function call on conformance\tests\phpdocadvancedphpstanpureunlesscallableisimpure\mapints is impure [ImpureFunctionCall]
Expectation diffLine 47: Expected valid value to be accepted, got ["The context is pure but function call on conformance\\tests\\phpdocadvancedphpstanpureunlesscallableisimpure\\mapints is impure [ImpureFunctionCall]"] |
<?php
declare(strict_types=1);
namespace Conformance\Tests\PhpdocAdvancedPhpstanPureUnlessCallableIsImpure;
/**
* Cross-tool handling of `@pure-unless-callable-is-impure`.
*
* Marks a higher-order function pure only when the named callable argument is
* pure — the same idea as `array_map`. Available since PHPStan 2.2.
*
* References:
* - PHPStan phpdocs-basics: Conditionally pure functions
*/
/**
* @param callable(int): int $mapper
* @param list<int> $values
* @return list<int>
* @pure-unless-callable-is-impure $mapper
*/
function mapInts(callable $mapper, array $values): array // T: @pure-unless-callable-is-impure
{
$result = [];
foreach ($values as $value) {
$result[] = $mapper($value);
}
return $result;
}
/**
* @phpstan-impure
*/
function impureMapper(int $n): int
{
return $n + \random_int(0, 1);
}
/**
* @phpstan-pure
*/
function pureCaller(): int
{
// Pure callback: mapInts stays pure and the call is allowed.
$mapped = mapInts(static fn (int $n): int => $n + 1, [1, 2]); // V
return $mapped[0];
}
/**
* @phpstan-pure
*/
function impureCaller(): int
{
// Impure callback makes mapInts impure under the tag.
$mapped = mapInts(impureMapper(...), [1, 2]); // E?: impure callback makes mapInts impure inside a pure function
return $mapped[0];
}