Skip to content

IsSuperTypeOf refactorings#206

Merged
ondrejmirtes merged 2 commits intophpstan:masterfrom
hrach:issupertypeof_refactorings
May 20, 2020
Merged

IsSuperTypeOf refactorings#206
ondrejmirtes merged 2 commits intophpstan:masterfrom
hrach:issupertypeof_refactorings

Conversation

@hrach
Copy link
Copy Markdown
Contributor

@hrach hrach commented May 17, 2020

Here we go again... the last time I've changed ObjectType::isSuperTypeOf too, but in the end I've removed since it seemed too big change and you have suggested (my feeling, can't find it now) that it is not probably correct. This time I did it again and later remembered the previous trial... and this time I've finished this change. /shrug

@ondrejmirtes
Copy link
Copy Markdown
Member

Hi, thanks, another weekend gone, right :D I've pointed out some mistakes, but I welcome any attempt to simplify this area. As you can see from the failing tests, the original behaviour with maybe vs. no was correct, at least in ObjectTypeTest.

@hrach hrach force-pushed the issupertypeof_refactorings branch from 8e686b0 to 3e74a7c Compare May 18, 2020 20:16
Comment on lines 67 to 72
Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This was duplicated test, see index 6.

@hrach hrach force-pushed the issupertypeof_refactorings branch from 3e74a7c to 8e768ba Compare May 18, 2020 20:20
@hrach
Copy link
Copy Markdown
Contributor Author

hrach commented May 18, 2020

Ok, I have reworked the whole PR. This time I hopefully know what I was doing. I've tried to document the more complex things around class-string.

Do you want to keep the first commit? Ideally this should be done everywhere and automatically.

@hrach hrach force-pushed the issupertypeof_refactorings branch from 8e768ba to 88b5a1e Compare May 20, 2020 16:39
@hrach hrach requested a review from ondrejmirtes May 20, 2020 17:03
@ondrejmirtes ondrejmirtes merged commit d568694 into phpstan:master May 20, 2020
@ondrejmirtes
Copy link
Copy Markdown
Member

Thank you :)

@hrach hrach deleted the issupertypeof_refactorings branch May 20, 2020 17:51
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