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.

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

feature: universal object crates #3948

Merged
merged 3 commits into from Oct 7, 2020

Conversation

mr-feek
Copy link
Contributor

@mr-feek mr-feek commented Aug 5, 2020

This is a draft for implementing phpstan's concept of "universal object crates".

What do we think? I have yet to test with an actual config file, but the unit test I added is passing.

@weirdan
Copy link
Collaborator

weirdan commented Aug 6, 2020

I'd like to also have an annotation for this.

@muglug
Copy link
Collaborator

muglug commented Aug 6, 2020

Looks great! Rebase to fix the build, sorry

@mr-feek
Copy link
Contributor Author

mr-feek commented Aug 6, 2020

@weirdan annotation would be cool! A bit out of my grasp though, feel free to follow up with it

@mr-feek mr-feek force-pushed the universal-object-crates branch 2 times, most recently from 6e8e7ef to ffcfc1f Compare August 8, 2020 05:23
@muglug muglug merged commit 8d2db4e into vimeo:master Oct 7, 2020
@muglug
Copy link
Collaborator

muglug commented Oct 7, 2020

Sorry this took so long to merge, and thanks again!

muglug added a commit that referenced this pull request Oct 7, 2020
* feature: universal object crates

* docs: document universal object crate config option

Co-authored-by: Matthew Brown <github@muglug.com>
muglug added a commit that referenced this pull request Oct 7, 2020
* feature: universal object crates

* docs: document universal object crate config option

Co-authored-by: Matthew Brown <github@muglug.com>
danog pushed a commit to danog/psalm that referenced this pull request Jan 29, 2021
* feature: universal object crates

* docs: document universal object crate config option

Co-authored-by: Matthew Brown <github@muglug.com>
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.

None yet

3 participants