← All results

Literal floats and class-constant value types in PHPDoc

Group: Advanced PHPDoc types · Category: ecosystem · File: phpdoc_advanced_literal_values.php

References: - PHPStan literal types and constant types - Psalm literal and constant types

Analyzer results

AnalyzerVersionResultDiagnostics
phan 6.0.7Phan 6.0.7 php-ast version 1.1.3 PHP version used to run Phan: 8.5.9 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]
  • Recognition: spelling not resolved — reported on declaration line(s) 30, 37
  • Enforcement: 1/3 of the expected violations reported — incidental, since the spelling was not resolved
phpstan 2.2.11PHPStan - PHP Static Analysis Tool 2.2.11 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-rules
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.
  • Recognition: spelling resolved
  • Enforcement: 3/3 of the expected violations reported
psalm 6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac
next: 7.0.0-beta19		 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]
  • Recognition: spelling resolved
  • Enforcement: 3/3 of the expected violations reported
mago 1.47.4mago 1.47.4 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]
  • Recognition: spelling resolved
  • Enforcement: 3/3 of the expected violations reported
mir 0.72.1mir 0.72.1 Incidental (3/3) 
phpdoc_advanced_literal_values.php:44: InvalidArgument: Argument $value of takesActiveStatus() expects 'Conformance\Tests\PhpdocAdvancedLiteralValues\Status::ACTIVE', got '"active"' [MIR0201]
phpdoc_advanced_literal_values.php:45: InvalidArgument: Argument $value of takesAnyStatus() expects 'Conformance\Tests\PhpdocAdvancedLiteralValues\Status::*', got '"active"' [MIR0201]
phpdoc_advanced_literal_values.php:46: InvalidArgument: Argument $value of takesAnyStatus() expects 'Conformance\Tests\PhpdocAdvancedLiteralValues\Status::*', got '"inactive"' [MIR0201]
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 'Conformance\Tests\PhpdocAdvancedLiteralValues\Status::ACTIVE', got '"inactive"' [MIR0201]
phpdoc_advanced_literal_values.php:50: InvalidArgument: Argument $value of takesAnyStatus() expects 'Conformance\Tests\PhpdocAdvancedLiteralValues\Status::*', got '"unknown"' [MIR0201]
  • Recognition: spelling resolved
  • Enforcement: 3/3 of the expected violations reported — incidental, since values the type admits were also rejected on line(s) 44, 45, 46
Expectation diff
Line 44: Expected valid value to be accepted, got ["InvalidArgument: Argument $value of takesActiveStatus() expects 'Conformance\\Tests\\PhpdocAdvancedLiteralValues\\Status::ACTIVE', got '\"active\"' [MIR0201]"]
Line 45: Expected valid value to be accepted, got ["InvalidArgument: Argument $value of takesAnyStatus() expects 'Conformance\\Tests\\PhpdocAdvancedLiteralValues\\Status::*', got '\"active\"' [MIR0201]"]
Line 46: Expected valid value to be accepted, got ["InvalidArgument: Argument $value of takesAnyStatus() expects 'Conformance\\Tests\\PhpdocAdvancedLiteralValues\\Status::*', got '\"inactive\"' [MIR0201]"]
phpantom 0.10.0phpantom_lsp 0.10.0 Partly enforced (1/3) 
phpdoc_advanced_literal_values.php:48: Argument 1 ($value) expects 1.5, got 2.5 [type_mismatch_argument]
  • Recognition: spelling resolved
  • Enforcement: 1/3 of the expected violations reported
intelephense 1.18.5intelephense 1.18.5 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/3 of the expected violations reported
phpactor 2026.07.22.0Phpactor 2026.07.22.0 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/3 of the expected violations reported
phpy 0.2.0phpy 0.2.0 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/3 of the expected violations reported
qodana 262.9437.196Qodana 262.9437.196 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]
  • Recognition: spelling not resolved — reported on declaration line(s) 23, 30, 37
  • Enforcement: 0/3 of the expected violations reported — incidental, since the spelling was not resolved
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]
  • Recognition: spelling not resolved — reported on declaration line(s) 32, 39
  • Enforcement: 0/3 of the expected violations reported — incidental, since the spelling was not resolved
steins 0.1.6steins 0.1.6 (2026-08-25 revision c13b4c7) 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]
  • Recognition: spelling resolved
  • Enforcement: 1/3 of the expected violations reported
phpstan-strict 2.2.11PHPStan - PHP Static Analysis Tool 2.2.11 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.
  • Recognition: spelling resolved
  • Enforcement: 3/3 of the expected violations reported
psalm-next 7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433 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]
  • Recognition: spelling resolved
  • Enforcement: 3/3 of the expected violations reported

Source

<?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