No warn inline proxy

scala · Jan 7, 2025 · 869ef7a · 869ef7a
1 parent 92b5d74
commit 869ef7a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
@@ -533,6 +533,7 @@ object CheckUnused:
             warnAt(pos)(UnusedSymbol.implicitParams)
       else if sym.isLocalToBlock then
         if ctx.settings.WunusedHas.locals
+          && !sym.is(InlineProxy)
           && !sym.isCanEqual
         then
           warnAt(pos)(UnusedSymbol.localDefs)

diff --git a/tests/warn/i17753.scala b/tests/warn/i17753.scala
@@ -0,0 +1,10 @@
+//> using options -Wunused:all
+
+class PartiallyApplied[A] {
+  transparent inline def func[B](): Nothing = ???
+}
+
+def call[A] = new PartiallyApplied[A]
+
+def good = call[Int].func[String]() // no warn inline proxy
+def bad = { call[Int].func[String]() } // no warn inline proxy