False-negative overrides nothing

[XYZboom]

Compiler version

3.6.3-RC2, 3.6.4-RC1-bin-20241231-1f0c576-NIGHTLY

Minimized code

abstract class A0[T] {
  def func(arg0: A0[String], arg1: T): Unit
}
abstract class A1 extends A0[String] {
  override def func(arg0: A0[Object], arg1: String): Unit = {}
}

Output

passed

Expectation

Should report a "overrides nothing" on A1.func.
We can found a "override nothing" when use scala2.

[He-Pin]

This should not compile

https://scastie.scala-lang.org/He-Pin/QuBxWCYJR8Konacq6xbqGw/2

Scala 2.13.x reports error, scala 3 passed :(