Skip to content

Conversation

VincentLanglet
Copy link
Contributor

Before oversizeArrayType->isSubTypeOf(array{}) was considered to be YES.

So removing array{} to oversizeArray gives Never.

Closes phpstan/phpstan#13509

@ondrejmirtes ondrejmirtes merged commit a4c6efc into phpstan:2.1.x Oct 6, 2025
545 of 550 checks passed
@ondrejmirtes
Copy link
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.

bug: oversized array is converted to NEVER after === [] check

2 participants