Ignore params to default arg getters

Author: som-snytt

compiler/src/dotty/tools/dotc/transform/CheckUnused.scala

@@ -8,7 +8,8 @@ import dotty.tools.dotc.core.Contexts.*
 import dotty.tools.dotc.core.Flags.*
 import dotty.tools.dotc.core.Names.{Name, SimpleName, DerivedName, TermName, termName}
 import dotty.tools.dotc.core.NameOps.{isAnonymousFunctionName, isReplWrapperName}
-import dotty.tools.dotc.core.NameKinds.{BodyRetainerName, ContextBoundParamName, ContextFunctionParamName, WildcardParamName}
+import dotty.tools.dotc.core.NameKinds.{
+  BodyRetainerName, ContextBoundParamName, ContextFunctionParamName, DefaultGetterName, WildcardParamName}
 import dotty.tools.dotc.core.StdNames.nme
 import dotty.tools.dotc.core.Symbols.{ClassSymbol, NoSymbol, Symbol, defn, isDeprecated, requiredClass, requiredModule}
 import dotty.tools.dotc.core.Types.*
@@ -170,7 +171,8 @@ class CheckUnused private (phaseMode: PhaseMode, suffix: String) extends MiniPha
   override def prepareForDefDef(tree: DefDef)(using Context): Context =
     def trivial = tree.symbol.is(Deferred) || isUnconsuming(tree.rhs)
     def nontrivial = tree.symbol.isConstructor || tree.symbol.isAnonymousFunction
-    if !nontrivial && trivial then refInfos.skip.addOne(tree.symbol)
+    def isDefault = tree.symbol.name.is(DefaultGetterName)
+    if !nontrivial && trivial || isDefault then refInfos.skip.addOne(tree.symbol)
     if tree.symbol.is(Inline) then
       refInfos.inliners += 1
     else if !tree.symbol.is(Deferred) && tree.rhs.symbol != defn.Predef_undefined then

tests/warn/i22746.scala

@@ -0,0 +1,21 @@
+
+//> using options -Wunused:all -Werror
+
+import java.time.ZonedDateTime
+
+trait Foo[A] {
+  def apply(a: A, t: ZonedDateTime): A
+}
+
+extension [A](a: A)(using f: Foo[A]) {
+  def foo(t: ZonedDateTime = ZonedDateTime.now): A = f(a, t)
+}
+
+def test[I, A](in: I)(
+  run: I => Either[Throwable, A],
+  onErr: Throwable => Throwable = identity[Throwable]
+): Either[Throwable, A] =
+  run(in) match {
+    case Left(t) => Left(onErr(t))
+    case r @ Right(_) => r
+  }