Skip to content

Add type specifying extension for ctype_digit#1635

Merged
ondrejmirtes merged 4 commits into
phpstan:1.8.xfrom
fluffycondor:ctype-digit-extension
Aug 24, 2022
Merged

Add type specifying extension for ctype_digit#1635
ondrejmirtes merged 4 commits into
phpstan:1.8.xfrom
fluffycondor:ctype-digit-extension

Conversation

@fluffycondor

Copy link
Copy Markdown
Contributor

No description provided.

Comment thread src/Type/Php/CtypeDigitFunctionTypeSpecifyingExtension.php Outdated
@staabm

staabm commented Aug 19, 2022

Copy link
Copy Markdown
Contributor

You may find additional inspiration for the tests in #1615

@fluffycondor

fluffycondor commented Aug 19, 2022

Copy link
Copy Markdown
Contributor Author

Thanks for those tests. I found some edge cases.

@BackEndTea

Copy link
Copy Markdown
Contributor

Isnt passing ints to ctype_* functions being deprecated?

@staabm

staabm commented Aug 20, 2022

Copy link
Copy Markdown
Contributor

Yep it is. Supporting existing code which uses it is still good though to e.g. prevent false positives

Comment thread src/Type/Php/CtypeDigitFunctionTypeSpecifyingExtension.php Outdated
Comment thread src/Type/Php/CtypeDigitFunctionTypeSpecifyingExtension.php Outdated
@ondrejmirtes

Copy link
Copy Markdown
Member

Please rebase the branch and solve conflicts, thanks :)

@ondrejmirtes

Copy link
Copy Markdown
Member

No merge commits please, linear history only.

@fluffycondor
fluffycondor force-pushed the ctype-digit-extension branch from 96182fd to 6f8b483 Compare August 24, 2022 11:59
@ondrejmirtes
ondrejmirtes merged commit 78e5c8e into phpstan:1.8.x Aug 24, 2022
@ondrejmirtes

Copy link
Copy Markdown
Member

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants