Skip to content

Use result of lambda type of implicit in CheckUnused #23497

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

som-snytt
Copy link
Contributor

@som-snytt som-snytt commented Jul 10, 2025

Fixes #23494

When inspecting unused implicit parameters, the check skips parameters which are "marker traits". It tests for any members of the type (or its upper bound) which are not "universal members". This commit uses the resultType to avoid an error

invalid new prefix

while computing members where the type is a LambdaType.

A future improvement would be not to request allMembers, since the check only needs to find one that is not universal.

The necessitating change was 2e4bc0a.

@som-snytt som-snytt marked this pull request as ready for review July 11, 2025 22:04
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.

Regression in taig/enumeration-ext - crash in checkUnusedPostInlining
1 participant