Skip to content

Drill into QuotePattern bindings symbol info #22987

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 1 commit into from
Apr 24, 2025

Conversation

som-snytt
Copy link
Contributor

Fixes #22981

The phase examines trees, not every type. Maybe this is just a matter of adding a case to Other trees. This fix also works at transformBind.

Alternatively, it reflects the strategy of the phase in 3.6, that if the mini-phase API doesn't offer structural support, then it might as well do a custom traversal. Then the question is whether mini-phase is just overhead of dispatch.

Besides checking imports, types could appear only in (possibly inferred) types.

@som-snytt som-snytt marked this pull request as ready for review April 15, 2025 23:44
@Gedochao Gedochao requested a review from sjrd April 24, 2025 09:11
@sjrd sjrd merged commit aeb09a7 into scala:main Apr 24, 2025
29 checks passed
@som-snytt som-snytt deleted the issue/22981-macro-bound branch April 24, 2025 12:34
@WojciechMazur WojciechMazur added this to the 3.7.1 milestone May 1, 2025
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.

False positive unused import on type used in macro type pattern
3 participants