Skip to content

Backport "Use more context for implicit search only if no default argument" to 3.3 LTS #551

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

Merged
merged 4 commits into from
Aug 13, 2025

Conversation

tgodzik
Copy link

@tgodzik tgodzik commented Aug 12, 2025

Backports scala#23664 to the 3.3.7.

PR submitted by the release tooling.
[skip ci]

odersky and others added 4 commits August 12, 2025 20:20
We now use a blend of the new scheme and backwards compatible special case if type variables
as ClassTag arguments are constrained by further type variables.

Fixes scala#23611

[Cherry-picked b677f97]
After an "implicit not found", we type additional arguments to get more context which might
give a larger implicit scope to search. With this commit we do that only if there is no
default argument for the implicit.

This might fix scala#23610
After an "implicit not found", we type additional arguments to get more context which might
give a larger implicit scope to search. With this commit we do that only if there is no
default argument for the implicit.

This might fix scala#23610

[Cherry-picked 975c988][modified]
Base automatically changed from backport-lts-3.3-23559 to lts-3.3 August 13, 2025 13:05
@tgodzik
Copy link
Author

tgodzik commented Aug 13, 2025

No regressions detected in the community build up to backport-lts-3.3-23676.

Reference

@tgodzik tgodzik merged commit 9047880 into lts-3.3 Aug 13, 2025
22 checks passed
@tgodzik tgodzik deleted the backport-lts-3.3-23664 branch August 13, 2025 13:05
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