Skip to content

Use precise type for x in case x @ (_: A, _: B)#25734

Open
SolalPirelli wants to merge 3 commits intoscala:mainfrom
dotty-staging:solal/widen-problem
Open

Use precise type for x in case x @ (_: A, _: B)#25734
SolalPirelli wants to merge 3 commits intoscala:mainfrom
dotty-staging:solal/widen-problem

Conversation

@SolalPirelli
Copy link
Copy Markdown
Contributor

Fixes #25544

I'm not a big fan of this, but it works, so it's a good first step in getting someone to tell me why it's actually bad and what should be done instead :)

How much have you relied on LLM-based tools in this contribution?

as much as som-snytt does

How was the solution tested?

issue regression test

@SolalPirelli SolalPirelli requested a review from noti0na1 April 9, 2026 07:40
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.

@unchecked tuple destructuring is now ignored

1 participant