non-negative-int change to int<0, max>

[kkmuffme]

e.g.

wordpress-stubs/functionMap.php

Line 40 in 113b3f7

'absint' => ['($maybeint is T&non-negative-int ? T : ($maybeint is negative-int ? positive-int : ($maybeint is empty ? 0 : ($maybeint is numeric-string ? non-negative-int : ($maybeint is string ? 0 : ($maybeint is true|non-empty-array ? 1 : ($maybeint is bool ? 0|1 : non-negative-int)))))))', '@phpstan-template T' => 'of int', 'maybeint' => 'T|scalar|array|resource|null'],

Since those non-negative-int, positive-int... are legacy types that should be phased out in favor of the more modern syntax

int<0, max>

[szepeviktor]

Thank you for your report.

Just implemented 🍏