In scala 2.13, why implicit scope of a companion object may sometimes be misaligned? How to correct it?

Question

The following is a simple example that tests the implicit feature of the scala 2.13 compiler:

object OverridingScope {

  trait System {

    trait Handler[T]