← All results

non-positive-int

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

The integers up to and including zero, int<min, 0>. It differs from negative-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 positive literal; others fall back to plain int and accept it. References: - PHPStan TypeNodeResolver non-positive-int resolves to IntegerRangeType::fromInterval(null, 0)

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_positive_int.php:20: Saw a token Phan may have failed to parse after '* @return non-positive-int': after non, saw '-' [PhanUnextractableAnnotationSuffix]
phpdoc_advanced_fallback_non_positive_int.php:22: Return type of returnsNonPositiveInt() is undeclared type \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non [PhanUndeclaredTypeReturnType]
phpdoc_advanced_fallback_non_positive_int.php:24: Returning -5 of type int (value: -5) but returnsNonPositiveInt() is declared to return \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non (no real type) (the inferred real return type has nothing in common with the declared phpdoc return type) [PhanTypeMismatchReturnProbablyReal]
phpdoc_advanced_fallback_non_positive_int.php:32: Saw possibly unextractable annotation for a fragment of comment '* @param non-positive-int $value': after non, did not see an element name (will guess based on comment order) [PhanUnextractableAnnotationElementName]
phpdoc_advanced_fallback_non_positive_int.php:32: Saw a token Phan may have failed to parse after '* @param non-positive-int $value': after non, saw '-' [PhanUnextractableAnnotationSuffix]
phpdoc_advanced_fallback_non_positive_int.php:34: Parameter $value has undeclared type \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non [PhanUndeclaredTypeParameter]
phpdoc_advanced_fallback_non_positive_int.php:39: Argument 1 ($value) is returnsNonPositiveInt() of type \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non but \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsInt() takes int defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_positive_int.php:27 [PhanTypeMismatchArgument]
phpdoc_advanced_fallback_non_positive_int.php:43: Argument 1 ($value) is 0 of type int (value: 0) but \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt() takes \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_positive_int.php:34 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]
phpdoc_advanced_fallback_non_positive_int.php:44: Argument 1 ($value) is -1 of type int (value: -1) but \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt() takes \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_positive_int.php:34 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]
phpdoc_advanced_fallback_non_positive_int.php:47: Argument 1 ($value) is 1 of type int (value: 1) but \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt() takes \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_positive_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 returnsNonPositiveInt() is declared to return \\Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\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 returnsNonPositiveInt() of type \\Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non but \\Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\acceptsInt() takes int defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_positive_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\\PhpdocAdvancedFallbackNonPositiveInt\\acceptsNonPositiveInt() takes \\Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_positive_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\\PhpdocAdvancedFallbackNonPositiveInt\\acceptsNonPositiveInt() takes \\Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non (no real type) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_advanced_fallback_non_positive_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_positive_int.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt expects int<min, 0>, 1 given. [identifier=argument.type] [reported-from-level=5]
With strict-rules
phpdoc_advanced_fallback_non_positive_int.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt expects int<min, 0>, 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_positive_int.php:47: Argument 1 of Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt expects int<min, 0>, 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_positive_int.php:47: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt`: expected `non-positive-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 Incidental (1/1) 
phpdoc_advanced_fallback_non_positive_int.php:39: InvalidArgument: Argument $value of acceptsInt() expects 'int', got 'Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int' [MIR0201]
phpdoc_advanced_fallback_non_positive_int.php:43: InvalidArgument: Argument $value of acceptsNonPositiveInt() expects 'Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int', got '0' [MIR0201]
phpdoc_advanced_fallback_non_positive_int.php:44: InvalidArgument: Argument $value of acceptsNonPositiveInt() expects 'Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int', got '-1' [MIR0201]
phpdoc_advanced_fallback_non_positive_int.php:47: InvalidArgument: Argument $value of acceptsNonPositiveInt() expects 'Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int', got '1' [MIR0201]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported — incidental, since values the type admits were also rejected on line(s) 39, 43, 44
Expectation diff
Line 39: Expected valid value to be accepted, got ["InvalidArgument: Argument $value of acceptsInt() expects 'int', got 'Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non-positive-int' [MIR0201]"]
Line 43: Expected valid value to be accepted, got ["InvalidArgument: Argument $value of acceptsNonPositiveInt() expects 'Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non-positive-int', got '0' [MIR0201]"]
Line 44: Expected valid value to be accepted, got ["InvalidArgument: Argument $value of acceptsNonPositiveInt() expects 'Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non-positive-int', got '-1' [MIR0201]"]
phpantom 0.9.0phpantom_lsp 0.9.0 Enforced 
phpdoc_advanced_fallback_non_positive_int.php:47: Argument 1 ($value) expects non-positive-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 Unrecognized 
phpdoc_advanced_fallback_non_positive_int.php:20: Use of unknown class: 'Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int'
phpdoc_advanced_fallback_non_positive_int.php:24: Return value of Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\returnsNonPositiveInt() is expected to be of type Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int, int returned
phpdoc_advanced_fallback_non_positive_int.php:32: Use of unknown class: 'Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int'
phpdoc_advanced_fallback_non_positive_int.php:39: Argument '1' passed to Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsInt() is expected to be of type int, Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int given
phpdoc_advanced_fallback_non_positive_int.php:43: Argument '1' passed to Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt() is expected to be of type Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int, int given
phpdoc_advanced_fallback_non_positive_int.php:44: Argument '1' passed to Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt() is expected to be of type Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int, int given
phpdoc_advanced_fallback_non_positive_int.php:47: Argument '1' passed to Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt() is expected to be of type Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int, int given
  • Recognition: spelling not resolved — reported on declaration line(s) 20, 32
  • 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 ["Return value of Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\returnsNonPositiveInt() is expected to be of type Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non-positive-int, int returned"]
Line 39: Expected valid value to be accepted, got ["Argument '1' passed to Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\acceptsInt() is expected to be of type int, Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non-positive-int given"]
Line 43: Expected valid value to be accepted, got ["Argument '1' passed to Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\acceptsNonPositiveInt() is expected to be of type Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non-positive-int, int given"]
Line 44: Expected valid value to be accepted, got ["Argument '1' passed to Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\acceptsNonPositiveInt() is expected to be of type Conformance\\Tests\\PhpdocAdvancedFallbackNonPositiveInt\\non-positive-int, int given"]
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_positive_int.php:12: Class or interface named \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-int does not exist [undefinedClass]
phpdoc_advanced_fallback_non_positive_int.php:32: Class or interface named \Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\non-positive-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\\PhpdocAdvancedFallbackNonPositiveInt\\non-positive-int does not exist [undefinedClass]"]
steins 0.1.5steins 0.1.5 (2026-08-12 revision 39b4cc1) Enforced 
phpdoc_advanced_fallback_non_positive_int.php:47: argument 1 to acceptsNonPositiveInt() violates declared @param non-positive-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_positive_int.php:47: Parameter #1 $value of function Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt expects int<min, 0>, 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_positive_int.php:47: Argument 1 of Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt\acceptsNonPositiveInt expects int<min, 0>, but 1 provided [InvalidArgument]
  • Recognition: spelling resolved
  • Enforcement: 1/1 of the expected violations reported

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\PhpdocAdvancedFallbackNonPositiveInt;

/**
 * `non-positive-int`
 *
 * The integers up to and including zero, `int<min, 0>`. It differs from
 * `negative-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 positive literal; others fall back to plain `int` and accept it.
 *
 * References:
 * - PHPStan TypeNodeResolver `non-positive-int` resolves to IntegerRangeType::fromInterval(null, 0)
 */

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

function acceptsInt(int $value): void
{
}

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

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

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

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