Describe the Proposal
PHPStan allows to define integer types as int<min,max>, would be nice to be able to do the same on the code level since currently there is no way to narrow the types when int<1, max> is required somewhere
API Adjustments
type_integer_range(1, PHP_INT_MAX) - integer<1, max>
Are you intenting to also work on proposed change?
None
Are you interested in sponsoring this change?
None
Integration & Dependencies
No response
Describe the Proposal
PHPStan allows to define integer types as
int<min,max>, would be nice to be able to do the same on the code level since currently there is no way to narrow the types whenint<1, max>is required somewhereAPI Adjustments
type_integer_range(1, PHP_INT_MAX)-integer<1, max>Are you intenting to also work on proposed change?
None
Are you interested in sponsoring this change?
None
Integration & Dependencies
No response