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.

Sign up for GitHub

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

Jump to bottom

Remove MixedInferredReturnType #9783

Merged
merged 1 commit into from
Nov 13, 2023
Merged

Remove MixedInferredReturnType #9783

merged 1 commit into from
Nov 13, 2023

Conversation

robchett
Copy link
Contributor

@robchett robchett commented May 13, 2023 •
edited
Loading

… reported by MixedReturnStatement
fixes #9751

@robchett robchett changed the title Remove MixedInferredReturnType Remove MixedInferredReturnType #9751 May 13, 2023
@robchett robchett mentioned this pull request May 13, 2023
Closed
@robchett robchett force-pushed the remove_MixedInferredReturnType branch 2 times, most recently from 47ce5a6 to bfbe9e0 Compare May 13, 2023 14:50
@orklah orklah modified the milestone: Psalm 5 May 14, 2023
@orklah
Copy link
Collaborator

orklah commented May 14, 2023

Nice! This will need to be included in Psalm 6 as we can't merge that right now.

@weirdan can you create a milestone?

@weirdan weirdan added this to the Psalm 6 milestone May 14, 2023
@weirdan
Copy link
Collaborator

weirdan commented May 14, 2023

Sure. I believe you could do this too:

image

@orklah
Copy link
Collaborator

orklah commented May 14, 2023

oh yeah I can, I thought is has a specific interface to create those, thanks!

@orklah orklah added the release:internal The PR will be included in 'Internal changes' section of the release notes label Jun 26, 2023
@robchett robchett force-pushed the remove_MixedInferredReturnType branch from bfbe9e0 to 5e802d6 Compare October 9, 2023 18:18
@robchett robchett changed the title Remove MixedInferredReturnType #9751 Remove MixedInferredReturnType Oct 9, 2023
@robchett robchett force-pushed the remove_MixedInferredReturnType branch from 5e802d6 to 1628ea4 Compare October 26, 2023 14:13
@robchett robchett force-pushed the remove_MixedInferredReturnType branch from 1628ea4 to fb7fc1c Compare November 9, 2023 16:35
@orklah
Copy link
Collaborator

orklah commented Nov 13, 2023

Thanks!

@orklah orklah merged commit 3efb292 into vimeo:master Nov 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
release:internal The PR will be included in 'Internal changes' section of the release notes
Projects
None yet
Milestone
Psalm 6
Development

Successfully merging this pull request may close these issues.
3 participants
@robchett @orklah @weirdan