← All results

non-negative-int

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

The integers from zero up, int<0, max>. It differs from positive-int by exactly one value, so zero is what the two spellings are for; -1 is the boundary on the other side. Analyzers that model the range reject a negative literal; others fall back to plain int and accept it. References: - PHPStan TypeNodeResolver non-negative-int resolves to IntegerRangeType::fromInterval(0, null)

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_fallback_non_negative_int.php:20: Saw a token Phan may have failed to parse after '* @return non-negative-int': after non, saw '-' [PhanUnextractableAnnotationSuffix]
phpdoc_advanced_fallback_non_negative_int.php:22: Return type of returnsNonNegativeInt() is undeclared type \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non [PhanUndeclaredTypeReturnType]
phpdoc_advanced_fallback_non_negative_int.php:24: Returning 5 of type int (value: 5) but returnsNonNegativeInt() is declared to return \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non (no real type) (the inferred real return type has nothing in common with the declared phpdoc return type) [PhanTypeMismatchReturnProbablyReal]
phpdoc_advanced_fallback_non_negative_int.php:32: Saw possibly unextractable annotation for a fragment of comment '* @param non-negative-int $value': after non, did not see an element name (will guess based on comment order) [PhanUnextractableAnnotationElementName]
phpdoc_advanced_fallback_non_negative_int.php:32: Saw a token Phan may have failed to parse after '* @param non-negative-int $value': after non, saw '-' [PhanUnextractableAnnotationSuffix]
phpdoc_advanced_fallback_non_negative_int.php:34: Parameter $value has undeclared type \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non [PhanUndeclaredTypeParameter]
phpdoc_advanced_fallback_non_negative_int.php:39: Argument 1 ($value) is returnsNonNegativeInt() of type \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non but \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsInt() takes int defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_negative_int.php:27 [PhanTypeMismatchArgument]
phpdoc_advanced_fallback_non_negative_int.php:43: Argument 1 ($value) is 0 of type int (value: 0) but \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt() takes \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_negative_int.php:34 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]
phpdoc_advanced_fallback_non_negative_int.php:44: Argument 1 ($value) is 1 of type int (value: 1) but \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt() takes \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_negative_int.php:34 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]
phpdoc_advanced_fallback_non_negative_int.php:47: Argument 1 ($value) is -1 of type int (value: -1) but \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt() takes \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_negative_int.php:34 (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) 20, 22, 32, 34
  • Enforcement: 1/1 of the expected violations reported — incidental, since the spelling was not resolved
Expectation diff
Line 24: Expected valid value to be accepted, got ["Returning 5 of type int (value: 5) but returnsNonNegativeInt() is declared to return \\Conformance\\Tests\\PhpdocAdvancedFallbackNonNegativeInt\\non (no real type) (the inferred real return type has nothing in common with the declared phpdoc return type) [PhanTypeMismatchReturnProbablyReal]"]
Line 39: Expected valid value to be accepted, got ["Argument 1 ($value) is returnsNonNegativeInt() of type \\Conformance\\Tests\\PhpdocAdvancedFallbackNonNegativeInt\\non but \\Conformance\\Tests\\PhpdocAdvancedFallbackNonNegativeInt\\acceptsInt() takes int defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_negative_int.php:27 [PhanTypeMismatchArgument]"]
Line 43: Expected valid value to be accepted, got ["Argument 1 ($value) is 0 of type int (value: 0) but \\Conformance\\Tests\\PhpdocAdvancedFallbackNonNegativeInt\\acceptsNonNegativeInt() takes \\Conformance\\Tests\\PhpdocAdvancedFallbackNonNegativeInt\\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_negative_int.php:34 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]"]
Line 44: Expected valid value to be accepted, got ["Argument 1 ($value) is 1 of type int (value: 1) but \\Conformance\\Tests\\PhpdocAdvancedFallbackNonNegativeInt\\acceptsNonNegativeInt() takes \\Conformance\\Tests\\PhpdocAdvancedFallbackNonNegativeInt\\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_negative_int.php:34 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]"]
phpstan 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 Enforced reported Lv.5+ 
phpdoc_advanced_fallback_non_negative_int.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt expects int<0, max>, -1 given. [identifier=argument.type] [reported-from-level=5]
With strict-rules
phpdoc_advanced_fallback_non_negative_int.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt expects int<0, max>, -1 given. [identifier=argument.type]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
psalm 6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac
next: 7.0.0-beta19		 Enforced 
phpdoc_advanced_fallback_non_negative_int.php:47: Argument 1 of Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt expects int<0, max>, but -1 provided [InvalidArgument]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
mago 1.46.0mago 1.46.0 Enforced 
phpdoc_advanced_fallback_non_negative_int.php:47: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt`: expected `non-negative-int`, but found `int(-1)`. [invalid-argument]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
mir 0.70.1mir 0.70.1 Enforced 
phpdoc_advanced_fallback_non_negative_int.php:47: InvalidArgument: Argument $value of acceptsNonNegativeInt() expects 'non-negative-int', got '-1' [MIR0201]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
phpantom 0.9.0phpantom_lsp 0.9.0 Enforced 
phpdoc_advanced_fallback_non_negative_int.php:47: Argument 1 ($value) expects non-negative-int, got -1 [type_mismatch_argument]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
intelephense 1.18.5intelephense 1.18.5 Widened to int

No diagnostics reported.

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

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
qodana 262.8665.325Qodana 262.8665.325 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations 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_fallback_non_negative_int.php:12: Class or interface named \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non-negative-int does not exist [undefinedClass]
phpdoc_advanced_fallback_non_negative_int.php:32: Class or interface named \Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\non-negative-int does not exist [undefinedClass]
  • Recognition: spelling not resolved — reported on declaration line(s) 32
  • Enforcement: 0/1 of the expected violations reported — incidental, since the spelling was not resolved
  • False positives: line(s) 12
Expectation diff
Line 12: Unexpected errors ["Class or interface named \\Conformance\\Tests\\PhpdocAdvancedFallbackNonNegativeInt\\non-negative-int does not exist [undefinedClass]"]
steins 0.1.5steins 0.1.5 (2026-08-12 revision 39b4cc1) Enforced 
phpdoc_advanced_fallback_non_negative_int.php:47: argument -1 to acceptsNonNegativeInt() violates declared @param non-negative-int $value — declared contract violation [phpdoc.param-mismatch]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
phpstan-strict 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 Enforced 
phpdoc_advanced_fallback_non_negative_int.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt expects int<0, max>, -1 given. [identifier=argument.type]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported
psalm-next 7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433 Enforced 
phpdoc_advanced_fallback_non_negative_int.php:47: Argument 1 of Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt\acceptsNonNegativeInt expects int<0, max>, but -1 provided [InvalidArgument]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\PhpdocAdvancedFallbackNonNegativeInt;

/**
 * `non-negative-int`
 *
 * The integers from zero up, `int<0, max>`. It differs from `positive-int` by
 * exactly one value, so zero is what the two spellings are for; `-1` is the
 * boundary on the other side. Analyzers that model the range reject a negative
 * literal; others fall back to plain `int` and accept it.
 *
 * References:
 * - PHPStan TypeNodeResolver `non-negative-int` resolves to IntegerRangeType::fromInterval(0, null)
 */

/**
 * @return non-negative-int
 */
function returnsNonNegativeInt() // T: non-negative-int
{
    return 5; // V
}

function acceptsInt(int $value): void
{
}

/**
 * @param non-negative-int $value
 */
function acceptsNonNegativeInt($value): void // T: non-negative-int
{
}

// A `non-negative-int` value always satisfies a native `int` parameter.
acceptsInt(returnsNonNegativeInt()); // V

// Zero is inside the range — this is what separates the spelling from
// `positive-int` — and so is anything above it.
acceptsNonNegativeInt(0); // V
acceptsNonNegativeInt(1); // V

// One past the boundary.
acceptsNonNegativeInt(-1); // E?: -1 is not a non-negative-int