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.