pr remarks

scala · KacperFKorban · Jan 29, 2025 · Jan 13, 2025 · Jan 13, 2025 · Jan 28, 2025
commit 2685ba99f98c9bd4f991a339131c5ce826f9611b
diff --git a/compiler/src/dotty/tools/dotc/typer/RefChecks.scala b/compiler/src/dotty/tools/dotc/typer/RefChecks.scala
@@ -1190,8 +1190,7 @@ object RefChecks {
             }
           }
         .exists
-      if !target.typeSymbol.denot.isOpaqueAlias // Opaque types hide original members so extension is not nullified by the original member
-        && hidden
+      if !target.typeSymbol.isOpaqueAlias && hidden
       then report.warning(ExtensionNullifiedByMember(sym, target.typeSymbol), sym.srcPos)
   end checkExtensionMethods
 

diff --git a/tests/warn/i22233.check b/tests/warn/i22233.check
diff --git a/tests/pos/ext-override.scala → tests/warns/ext-override.scala b/tests/pos/ext-override.scala → tests/warns/ext-override.scala
@@ -1,3 +1,5 @@
+package warns
+
 //> using options -Xfatal-warnings
 
 trait Foo[T]: