在Scala中，给定一个子类，如何使用反射检查它是否覆盖了其父接口(在Java中定义)的默认方法？

import java.lang.reflect.Modifier

class SubClass extends SuperInterface {
  def method(): Unit = {
    println("SubClass method")
  }
}

trait SuperInterface {
  def method(): Unit = {
    println("SuperInterface method")
  }
}

object Main extends App {
  val subClass = classOf[SubClass]
  val interfaces = subClass.getInterfaces

  for (interface <- interfaces) {
    val methods = interface.getMethods
    for (method <- methods) {
      val declaringClass = method.getDeclaringClass
      if (declaringClass == interface || Modifier.isAbstract(declaringClass.getModifiers)) {
        println(s"SubClass does not override method ${method.getName} from interface ${interface.getName}")
      }
    }
  }
}