Fix issue #22310: Use strict type matching for override checks

Co-authored-by: noti0na1 <8036790+noti0na1@users.noreply.github.com>

Author: Copilot

compiler/src/dotty/tools/dotc/typer/RefChecks.scala

@@ -974,7 +974,11 @@ object RefChecks {
 
       def isSignatureMatch(sym: Symbol) = sym.isType || {
         val self = clazz.thisType
-        sym.asSeenFrom(self).matches(member.asSeenFrom(self))
+        val symDenotation = sym.asSeenFrom(self)
+        val memberDenotation = member.asSeenFrom(self)
+        // Use matchesLoosely with alwaysCompareTypes = true to ensure strict type checking for overrides
+        // This fixes issue #22310 where A0[String] was incorrectly considered to match A0[Object]
+        symDenotation.matchesLoosely(memberDenotation, alwaysCompareTypes = true)
         && !incompatibleRepeatedParam(sym, member)
       }
 

tests/neg/i22310.check

@@ -0,0 +1,8 @@
+-- [E177] Syntax Error: tests/neg/i22310.scala:9:2 --------------------------------
+9 |  override def func(arg0: A0[Object], arg1: String): Unit = {} // error: overrides nothing
+  |  ^
+  |  override def func overrides nothing.
+-- [E177] Syntax Error: tests/neg/i22310.scala:16:2 -------------------------------
+16|  override def method(x: B0[Object, Int], y: String, z: Int): Unit = {} // error: overrides nothing
+  |  ^
+  |  override def method overrides nothing.

tests/pos/i22310-valid.scala

@@ -0,0 +1,27 @@
+// Test cases to ensure valid overrides still work after fixing #22310
+
+abstract class ValidCase1[T] {
+  def method(arg: ValidCase1[String], param: T): Unit
+}
+
+abstract class ValidCase1Sub extends ValidCase1[String] {
+  override def method(arg: ValidCase1[String], param: String): Unit = {} // OK - this should work
+}
+
+// Variance cases should still work correctly
+abstract class CovariantCase[+T] {
+  def method(param: CovariantCase[String]): T
+}
+
+abstract class CovariantCaseSub extends CovariantCase[Object] {
+  override def method(param: CovariantCase[String]): Object = "valid" // OK - covariance in return type
+}
+
+// Test with concrete classes too
+class ConcreteBase[T] {
+  def func(x: ConcreteBase[String], y: T): Unit = {}
+}
+
+class ConcreteDerived extends ConcreteBase[String] {
+  override def func(x: ConcreteBase[String], y: String): Unit = {} // OK - this should work
+}