Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

More precise ord() signature #1620

Merged
merged 1 commit into from Aug 13, 2022
Merged

More precise ord() signature #1620

merged 1 commit into from Aug 13, 2022

Conversation

thg2k
Copy link
Contributor

@thg2k thg2k commented Aug 13, 2022

I checked the php source, there is no way this returns anything other than int<0, 255>

@ondrejmirtes ondrejmirtes merged commit 1ac08a1 into phpstan:1.8.x Aug 13, 2022
@ondrejmirtes
Copy link
Member

Thank you!

@thg2k thg2k deleted the pr/fix_signature_ord branch August 13, 2022 10:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@thg2k @ondrejmirtes