Support non-decimal-int-string

[oleibman]

See phpDocumentor/phpDocumentor#4147, which has been open for 3 months without acknowledgment. The fix apparently belongs here.

Allow the use of two new types recently added to phpstan https://phpstan.org/blog/phpstan-2-2-unsealed-array-shapes-safer-array-keys#safer-array-keys

[jaapio]

Thanks for providing this fix! I'm sorry that you had to wait so long.

[jaapio]

Can you please have a look at the phpcs errors?

Error: Class name doesn't match filename; expected "class NonDecimalIntString"
Error: Class name doesn't match filename; expected "class DecimalIntString"
Error: Process completed with exit code 1.

You can ignore the other failing action, I will handle this.

[oleibman]

I believe my recent push 2de297d will resolve the phpcs problems.

[jaapio]

Thanks for your help.