From ab5c3e85dd5b8c45c89face1b0f6bc408d2d34a6 Mon Sep 17 00:00:00 2001
From: som-snytt <som.snytt@gmail.com>
Date: Mon, 27 Oct 2025 03:15:34 -0700
Subject: [PATCH] Exclude synthetic opaque proxy from lint (#24264)

Fixes #24263
[Cherry-picked 55f235c61f6a8bf76ef69c3778b972f0ecd6a881]
---
 compiler/src/dotty/tools/dotc/transform/CheckUnused.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
index a682925e22a8..9d63f71eed6f 100644
--- a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
+++ b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
@@ -669,7 +669,7 @@ object CheckUnused:
 
     def checkLocal(sym: Symbol, pos: SrcPos) =
       if ctx.settings.WunusedHas.locals
-        && !sym.is(InlineProxy)
+        && !sym.isOneOf(InlineProxy | Synthetic)
       then
         if sym.is(Mutable) && infos.asss(sym) then
           warnAt(pos)(UnusedSymbol.localVars)