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

Backport "Fix prioritization of givens over implicits" to 3.5.0 #21253

Closed

Conversation

WojciechMazur
Copy link
Contributor

Backports #21226 to 3.5.0-RC6

to apply the logic prioritizing givens over implicits as intended in scala#19300

Fix scala#21212
Before the changes, if
`isAsGoodValueType` was called with an extension and a given conversion,
it would prefer the conversion over the extension,
because only the former yielded true in `isGiven`.

Which contradicted the logic from searchImplicit which
preferred extension over conversions for member selection.
instead of an `implicit val`,
to account for the changes in given prioritization from scala#19300 and scala#21226,
which made it ambiguous with the `Completer#creationContext` given.
@WojciechMazur WojciechMazur marked this pull request as draft July 24, 2024 15:12
@WojciechMazur
Copy link
Contributor Author

Blocked by #21264
Temporarily transformed to draft and planned to not be merged in 3.5 series unless a fix is found.

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