Skip to content

Ignore NeverType in subtractable types#389

Merged
ondrejmirtes merged 1 commit intophpstan:masterfrom
jlherren:fix-subtracting-never-type
Nov 30, 2020
Merged

Ignore NeverType in subtractable types#389
ondrejmirtes merged 1 commit intophpstan:masterfrom
jlherren:fix-subtracting-never-type

Conversation

@jlherren
Copy link
Contributor

No description provided.

@ondrejmirtes ondrejmirtes merged commit 4426fe0 into phpstan:master Nov 30, 2020
@ondrejmirtes
Copy link
Member

Awesome, thank you!

@jlherren jlherren deleted the fix-subtracting-never-type branch November 30, 2020 10:23
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.

2 participants