diff --git a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
index d7c88a1fca40..65ab7f12189f 100644
--- a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
+++ b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
@@ -651,7 +651,7 @@ object CheckUnused:
 
     extension (memDef: tpd.MemberDef)
       private def isValidMemberDef(using Context): Boolean =
-        !memDef.symbol.isUnusedAnnot && !memDef.symbol.isAllOf(Flags.AccessorCreationFlags) && !memDef.name.isWildcard
+        !memDef.symbol.isUnusedAnnot && !memDef.symbol.isAllOf(Flags.AccessorCreationFlags) && !memDef.name.isWildcard && !memDef.symbol.owner.is(Extension)
 
       private def isValidParam(using Context): Boolean =
         val sym = memDef.symbol
diff --git a/tests/neg-custom-args/fatal-warnings/i15503g.scala b/tests/neg-custom-args/fatal-warnings/i15503g.scala
index a0822e7e1611..8b3fd7561a4b 100644
--- a/tests/neg-custom-args/fatal-warnings/i15503g.scala
+++ b/tests/neg-custom-args/fatal-warnings/i15503g.scala
@@ -12,4 +12,11 @@ def f7(a: Int)(using Int) = summon[Int] + a // OK
 
 /* --- Trivial method check --- */
 def g1(x: Int) = 1 // OK
-def g2(x: Int) = ??? // OK
\ No newline at end of file
+def g2(x: Int) = ??? // OK
+
+package foo.test.i17101:
+  type Test[A] = A
+  extension[A] (x: Test[A]) { // OK
+    def value: A = x
+    def causesIssue: Unit = println("oh no")
+  }