| Analyzer | Version | Result | Diagnostics |
|---|---|---|---|
| phan | 6.0.10Phan 6.0.10 php-ast version 1.1.3 PHP version used to run Phan: 8.5.11 | Unrecognized | phpdoc_advanced_literal_values.php:30: Saw possibly unextractable annotation for a fragment of comment '* @param Status::ACTIVE $value': after Status, did not see an element name (will guess based on comment order) [PhanUnextractableAnnotationElementName] phpdoc_advanced_literal_values.php:30: Saw a token Phan may have failed to parse after '* @param Status::ACTIVE $value': after Status, saw ':' [PhanUnextractableAnnotationSuffix] phpdoc_advanced_literal_values.php:37: Saw possibly unextractable annotation for a fragment of comment '* @param Status::* $value': after Status, did not see an element name (will guess based on comment order) [PhanUnextractableAnnotationElementName] phpdoc_advanced_literal_values.php:37: Saw a token Phan may have failed to parse after '* @param Status::* $value': after Status, saw ':' [PhanUnextractableAnnotationSuffix] phpdoc_advanced_literal_values.php:48: Argument 1 ($value) is 2.5 of type float (value: 2.5) but \Conformance\Tests\PhpdocAdvancedLiteralValues\takesLiteralFloat() takes float (value: 1.5) (real type float) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_literal_values.php:25 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]
|
| phpstan | 2.3.1PHPStan - PHP Static Analysis Tool 2.3.1 | Enforced reported Lv.5+ | phpdoc_advanced_literal_values.php:48: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesLiteralFloat expects 1.5, 2.5 given. [reported-from-level=5] phpdoc_advanced_literal_values.php:49: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesActiveStatus expects 'active', 'inactive' given. [reported-from-level=5] phpdoc_advanced_literal_values.php:50: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesAnyStatus expects 'active'|'inactive', 'unknown' given. [reported-from-level=5] With strict-rulesphpdoc_advanced_literal_values.php:48: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesLiteralFloat expects 1.5, 2.5 given. phpdoc_advanced_literal_values.php:49: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesActiveStatus expects 'active', 'inactive' given. phpdoc_advanced_literal_values.php:50: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesAnyStatus expects 'active'|'inactive', 'unknown' given.
|
| psalm | 6.20.0Psalm 6.20.0@804f03c0c183d149fcd4b8c7c0c9b3fbf836d34c next: 7.0.0-rc2 |
Enforced | phpdoc_advanced_literal_values.php:48: Argument 1 of Conformance\Tests\PhpdocAdvancedLiteralValues\takesLiteralFloat expects float(1.5), but float(2.5) provided [InvalidArgument] phpdoc_advanced_literal_values.php:49: Argument 1 of Conformance\Tests\PhpdocAdvancedLiteralValues\takesActiveStatus expects 'active', but 'inactive' provided [InvalidArgument] phpdoc_advanced_literal_values.php:50: Argument 1 of Conformance\Tests\PhpdocAdvancedLiteralValues\takesAnyStatus expects 'active'|'inactive', but 'unknown' provided [InvalidArgument]
|
| mago | 1.57.0mago 1.57.0 | Enforced | phpdoc_advanced_literal_values.php:48: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocAdvancedLiteralValues\takesLiteralFloat`: expected `float(1.5)`, but found `float(2.5)`. [invalid-argument]
phpdoc_advanced_literal_values.php:49: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocAdvancedLiteralValues\takesActiveStatus`: expected `string('active')`, but found `string('inactive')`. [invalid-argument]
phpdoc_advanced_literal_values.php:50: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocAdvancedLiteralValues\takesAnyStatus`: expected `string('active')|string('inactive')`, but found `string('unknown')`. [invalid-argument]
|
| mir | 0.87.0mir 0.87.0 | Enforced | phpdoc_advanced_literal_values.php:48: InvalidArgument: Argument $value of takesLiteralFloat() expects '1.5', got '2.5' [MIR0201] phpdoc_advanced_literal_values.php:49: InvalidArgument: Argument $value of takesActiveStatus() expects '"active"', got '"inactive"' [MIR0201] phpdoc_advanced_literal_values.php:50: InvalidArgument: Argument $value of takesAnyStatus() expects '"active"|"inactive"', got '"unknown"' [MIR0201]
|
| phpantom | 0.11.1phpantom_lsp 0.11.1 | Partly enforced (1/3) | phpdoc_advanced_literal_values.php:48: Argument 1 ($value) expects 1.5, got 2.5 [type_mismatch_argument]
|
| intelephense | 1.18.5intelephense 1.18.5 | Not enforced | No diagnostics reported.
|
| phpactor | 2026.10.07.0Phpactor 2026.10.07.0 | Not enforced | No diagnostics reported.
|
| phpy | 1.0.19409phpy 1.0.19409 | Not enforced | No diagnostics reported.
|
| qodana | 262.10968.76PhpStorm 262.10968.76 | Unrecognized | phpdoc_advanced_literal_values.php:23: Argument type does not match the declared [PhpDocSignatureInspection] phpdoc_advanced_literal_values.php:30: Argument type does not match the declared [PhpDocSignatureInspection] phpdoc_advanced_literal_values.php:37: Argument type does not match the declared [PhpDocSignatureInspection]
|
| noverify | 0.5.5NoVerify, version 0.5.5: built on: 2025.04.22 14:36:46 OS: r-kuchinskas arm64 Commit: 4774b82f8adc53fbef38f95e97af4b953b4d1529 | Unrecognized | phpdoc_advanced_literal_values.php:32: param $value miss matched with phpdoc type <<Status::ACTIVE>> [funcParamTypeMissMatch] phpdoc_advanced_literal_values.php:39: param $value miss matched with phpdoc type <<Status::*>> [funcParamTypeMissMatch]
|
| steins | 0.1.8steins 0.1.8 (2026-09-21 revision 76306a9) | Partly enforced (1/3) | phpdoc_advanced_literal_values.php:48: argument 2.5 to takesLiteralFloat() violates declared @param 1.5 $value — declared contract violation [phpdoc.param-mismatch]
|
| phpstan-strict | 2.3.1PHPStan - PHP Static Analysis Tool 2.3.1 | Enforced | phpdoc_advanced_literal_values.php:48: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesLiteralFloat expects 1.5, 2.5 given. phpdoc_advanced_literal_values.php:49: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesActiveStatus expects 'active', 'inactive' given. phpdoc_advanced_literal_values.php:50: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedLiteralValues\takesAnyStatus expects 'active'|'inactive', 'unknown' given.
|
| psalm-next | 7.0.0-rc2Psalm 7.0.0-rc2@20339e3fe5b8d03bcd8061030eb2a83ad50e5783 | Enforced | phpdoc_advanced_literal_values.php:48: Argument 1 of Conformance\Tests\PhpdocAdvancedLiteralValues\takesLiteralFloat expects float(1.5), but float(2.5) provided [InvalidArgument] phpdoc_advanced_literal_values.php:49: Argument 1 of Conformance\Tests\PhpdocAdvancedLiteralValues\takesActiveStatus expects 'active', but 'inactive' provided [InvalidArgument] phpdoc_advanced_literal_values.php:50: Argument 1 of Conformance\Tests\PhpdocAdvancedLiteralValues\takesAnyStatus expects 'active'|'inactive', but 'unknown' provided [InvalidArgument]
|
<?php
declare(strict_types=1);
namespace Conformance\Tests\PhpdocAdvancedLiteralValues;
/**
* Literal floats and class-constant value types in PHPDoc.
*
* References:
* - PHPStan literal types and constant types
* - Psalm literal and constant types
*/
final class Status
{
public const ACTIVE = 'active';
public const INACTIVE = 'inactive';
}
/**
* @param 1.5 $value
*/
function takesLiteralFloat(float $value): void // T: 1.5
{
}
/**
* @param Status::ACTIVE $value
*/
function takesActiveStatus(string $value): void // T: Status::ACTIVE
{
}
/**
* @param Status::* $value
*/
function takesAnyStatus(string $value): void // T: Status::*
{
}
takesLiteralFloat(1.5); // V
takesActiveStatus(Status::ACTIVE); // V
takesAnyStatus(Status::ACTIVE); // V
takesAnyStatus(Status::INACTIVE); // V
takesLiteralFloat(2.5); // E?: the float literal does not match 1.5
takesActiveStatus(Status::INACTIVE); // E?: the class constant value is not active
takesAnyStatus('unknown'); // E?: the value is not one of Status constants