Skip to content

FP: PHP_INT_MAX cannot be used as a default of a positive-int parameter #5657

@dktapps

Description

@dktapps

Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/39e75750-a601-4e61-8569-b4530dadc676

Expected output

No error should be reported: PHP_INT_MAX satisfies the requirements of positive-int.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions