Skip to content

template type: correctly resolve isSuperTypeOf#229

Merged
ondrejmirtes merged 1 commit intophpstan:masterfrom
hrach:issupertypeof
Jun 9, 2020
Merged

template type: correctly resolve isSuperTypeOf#229
ondrejmirtes merged 1 commit intophpstan:masterfrom
hrach:issupertypeof

Conversation

@hrach
Copy link
Copy Markdown
Contributor

@hrach hrach commented Jun 9, 2020

Uncertainty of instanceof $object is already handled in
MutatingScope (fixed by phpstan#211).
@ondrejmirtes ondrejmirtes merged commit 4ba83e8 into phpstan:master Jun 9, 2020
@ondrejmirtes
Copy link
Copy Markdown
Member

Awesome, 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.

Previously working generic for exception class fails Templated values loose \Countable information

2 participants