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

Reject incomplete implicit dictionaries #8201

Merged
merged 1 commit into from Jul 4, 2019
Merged

Conversation

milessabin
Copy link
Contributor

If any RHS of a recursive implicit dictionary (after pruning) is an EmptyTree, then this indicates that implicit search failed and we should report the overall search as a failure.

Fixes scala/bug#11591.

If any RHS of a recursive implicit dictionary (after pruning) is an
EmptyTree, then this indicates that implicit search failed and we should
report the overall search as a failure.

Fixes scala/bug#11591.
@milessabin
Copy link
Contributor Author

Forgot to update check file after renaming test 🙄

@milessabin milessabin requested a review from lrytz July 3, 2019 14:56
Copy link
Member

@lrytz lrytz left a comment

Choose a reason for hiding this comment

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

It seems the pos: Position parameter of emitImplicitDictionary is unused, is that an artifact of some earlier version?

@lrytz lrytz merged commit ba7e660 into scala:2.13.x Jul 4, 2019
@milessabin
Copy link
Contributor Author

@lrytz well spotted. I'll PR its removal ...

@milessabin
Copy link
Contributor Author

#8205.

@szeiger szeiger added the release-notes worth highlighting in next release notes label Sep 9, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release-notes worth highlighting in next release notes
Projects
None yet
4 participants