scala3 icon indicating copy to clipboard operation
scala3 copied to clipboard

Always transform Inlined.call in CheckUnused

Open som-snytt opened this issue 6 months ago • 3 comments

Fixes #23201

Previously, CheckUnused transformed the call tree of an Inlined node only after typer (and not after inlining), but inlining also results in non-trivial call trees.

Needs a minimized test, where an import is required for expansion but is unused at typer.

som-snytt avatar May 28 '25 23:05 som-snytt

Still needs a test.

som-snytt avatar Jun 06 '25 21:06 som-snytt

Still needs a test.

Do you need help minimizing it ? I can try to take a look

tgodzik avatar Jun 11 '25 09:06 tgodzik

I'll take another swing at the test. Some combination of derives, inline given, and a macro.

I confirmed the second example on the ticket is similar; their workaround was to make the given not inline.

som-snytt avatar Jun 13 '25 16:06 som-snytt

Superseded by https://github.com/scala/scala3/pull/24043

som-snytt avatar Oct 24 '25 15:10 som-snytt