Skip to content

Experiment: Make TypeOps avoid symbols if they widen to another avoided symbol - #26893

Draft
jchyb wants to merge 2 commits into
scala:mainfrom
dotty-staging:fix-26785-opaque-inline-regression
Draft

Experiment: Make TypeOps avoid symbols if they widen to another avoided symbol#26893
jchyb wants to merge 2 commits into
scala:mainfrom
dotty-staging:fix-26785-opaque-inline-regression

Conversation

@jchyb

@jchyb jchyb commented Aug 23, 2026

Copy link
Copy Markdown
Contributor

Brings back previously removed behavior for TypeOps.avoid. Mostly want to check CI/ community build for now. Will make a detailed description later.

Fixes #26785

Have you relied on LLM-based tools in this contribution?

Yes, and I checked the output by ...
No

How was the solution tested?

New automated tests (including the issue's reproducer, if applicable)
Covered by existing tests (this is a refactoring)
Non-code change, no tests needed
Manual tests because writing automated tests is impractical, described below (in detail)

@jchyb

jchyb commented Aug 24, 2026

Copy link
Copy Markdown
Contributor Author

https://github.com/VirtusLab/community-build3/actions/runs/32736041819/job/97458970426: softwaremill/macwire and foldables-io/skunk-tables fail with this... needs rework, I'll try to minimize those 2 since both reference inline errors (so hopefully I'll get some more test cases out of this)

@jchyb
jchyb force-pushed the fix-26785-opaque-inline-regression branch from eacfd30 to 0f37313 Compare August 27, 2026 10:31
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.

Singleton type leaks from transparent inline method with double opaque types

1 participant