Nowarn public implicit val class params

som-snytt · som-snytt · commit 02cd65156ee0 · 2025-02-24T20:05:46.000-08:00
diff --git a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
@@ -585,7 +585,7 @@ object CheckUnused:
           val alias = m.owner.info.member(sym.name)
           if alias.exists then
             val aliasSym = alias.symbol
-            if aliasSym.is(ParamAccessor) && !infos.refs(alias.symbol) then
+            if aliasSym.isAllOf(PrivateParamAccessor, butNot = CaseAccessor) && !infos.refs(alias.symbol) then
               warnAt(pos)(UnusedSymbol.implicitParams)
         else
           warnAt(pos)(UnusedSymbol.implicitParams)
diff --git a/tests/warn/i15503f.scala b/tests/warn/i15503f.scala
@@ -52,3 +52,7 @@ object Unmatched:
       case Ident(name) =>
       case _ =>
     e
+
+trait Ctx
+case class K(i: Int)(using val ctx: Ctx) // nowarn
+class L(val i: Int)(using val ctx: Ctx) // nowarn

Original file line number	Diff line number	Diff line change
`@@ -52,3 +52,7 @@ object Unmatched:`
`52`	`52`	`case Ident(name) =>`
`53`	`53`	`case _ =>`
`54`	`54`	`e`
	`55`	`+`
	`56`	`+trait Ctx`
	`57`	`+case class K(i: Int)(using val ctx: Ctx) // nowarn`
	`58`	`+class L(val i: Int)(using val ctx: Ctx) // nowarn`