There was an error while loading. Please reload this page.
2 parents 004eb67 + 0f1e1c7 commit ea632dbCopy full SHA for ea632db
compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
@@ -642,7 +642,7 @@ object CheckUnused:
642
643
def checkLocal(sym: Symbol, pos: SrcPos) =
644
if ctx.settings.WunusedHas.locals
645
- && !sym.is(InlineProxy)
+ && !sym.isOneOf(InlineProxy | Synthetic)
646
&& !sym.isCanEqual
647
then
648
if sym.is(Mutable) && infos.asss(sym) then
tests/warn/i24263.scala
@@ -0,0 +1,6 @@
1
+//> using options -Werror -Wunused:all
2
+
3
+object test {
4
+ def f(t: Tuple): Nothing = ???
5
+ val _ = (inputTuple: NamedTuple.NamedTuple[Tuple, Tuple]) => f(inputTuple)
6
+}
0 commit comments