Warn for synthetic using/givens with wunused

scala · Mar 28, 2023 · 59fb54d · 59fb54d
1 parent 97bdd0d
commit 59fb54d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
@@ -476,7 +476,7 @@ object CheckUnused:
         if ctx.settings.WunusedHas.implicits then
           implicitParamInScope
             .filterNot(d => d.symbol.usedDefContains)
-            .filterNot(d => containsSyntheticSuffix(d.symbol))
+            .filterNot(d => containsSyntheticSuffix(d.symbol) && !d.rawMods.is(Given))
             .map(d => d.namePos -> WarnTypes.ImplicitParams).toList
         else
           Nil

diff --git a/tests/neg-custom-args/fatal-warnings/i15503f.scala b/tests/neg-custom-args/fatal-warnings/i15503f.scala
@@ -5,7 +5,7 @@ val default_int = 1
 
 def f1(a: Int) = a // OK
 def f2(a: Int) = 1 // OK
-def f3(a: Int)(using Int) = a // OK
+def f3(a: Int)(using Int) = a // error
 def f4(a: Int)(using Int) = default_int // error
 def f6(a: Int)(using Int) = summon[Int] // OK
 def f7(a: Int)(using Int) = summon[Int] + a // OK