Tipo estructural en la parametrización del tipo de método en Scala?

Considere el siguiente código Scala (por ejemplo, en REPL)

object A{def foo:Unit = {}}
object B{def foo:Unit = {}}

def bar[T <: Any {def foo: Unit}](param: T*):Unit = param.foreach(x => x.foo)

bar(A, A)  // works fine
bar(B, B)  // works fine
bar(A, B)  // gives error

Los dos primeros funcionan bien. El tercero da un error:

error: inferred type arguments [ScalaObject] do not conform to method bar's type parameter bounds [T <: Any{def foo: Unit}]

¿Hay alguna forma de hacer lo que quiero?

Respuestas a la pregunta(1)

Su respuesta a la pregunta