Skip to content

Commit d577300

Browse files
authored
Skip extension method params in WUnused (#17178)
Fix #17101
2 parents 13788b7 + 599fc9d commit d577300

File tree

2 files changed

+9
-2
lines changed

2 files changed

+9
-2
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -667,7 +667,7 @@ object CheckUnused:
667667

668668
extension (memDef: tpd.MemberDef)
669669
private def isValidMemberDef(using Context): Boolean =
670-
!memDef.symbol.isUnusedAnnot && !memDef.symbol.isAllOf(Flags.AccessorCreationFlags) && !memDef.name.isWildcard
670+
!memDef.symbol.isUnusedAnnot && !memDef.symbol.isAllOf(Flags.AccessorCreationFlags) && !memDef.name.isWildcard && !memDef.symbol.owner.is(Extension)
671671

672672
private def isValidParam(using Context): Boolean =
673673
val sym = memDef.symbol

tests/neg-custom-args/fatal-warnings/i15503g.scala

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,11 @@ def f7(a: Int)(using Int) = summon[Int] + a // OK
1212

1313
/* --- Trivial method check --- */
1414
def g1(x: Int) = 1 // OK
15-
def g2(x: Int) = ??? // OK
15+
def g2(x: Int) = ??? // OK
16+
17+
package foo.test.i17101:
18+
type Test[A] = A
19+
extension[A] (x: Test[A]) { // OK
20+
def value: A = x
21+
def causesIssue: Unit = println("oh no")
22+
}

0 commit comments

Comments
 (0)