Giving an implicit scope to an abstract type member that erases to Object

TypeAliasImplicitScope.scala

sealed trait FooImplicitScope
object FooImplicitScope {
  implicit def Foo2String(f: Module.Foo): String = f.toString
  implicit def Foo2Int(f: Module.Foo): Int = f.##
}

object Module {
  private[Module] type A
  type Foo <: A with FooImplicitScope
}