Как назвать общий метод с анонимным типом, включающим дженерики?

У меня есть этот код, который работает:

  def testTypeSpecialization: String = {
    class Foo[T]

    def add[T](obj: Foo[T]): Foo[T] =  obj

    def addInt[X <% Foo[Int]](obj: X): X = { 
      add(obj)
      obj
    }

    val foo = addInt(new Foo[Int] {
      def someMethod: String = "Hello world"
    })

    foo.someMethod
  }

Но, я хотел бы записать это как это:

 def testTypeSpecialization: String = {
    class Foo[T]

    def add[X, T <% Foo[X](obj: T): T =  obj

    val foo = add(new Foo[Int] {
      def someMethod: String = "Hello world"
    })

    foo.someMethod
  }

Этому второму не удается скомпилировать:

никакой неявный аргумент, соответствующий типу параметра (Foo [Интервал] {...}) => Foo [Ничто] не было найдено.

В основном:

• Я хотел бы создать новый анонимный класс / экземпляр на лету (например, новый Foo [Интервал] {...}), и передача это в "добавить" метод, который добавит его к списку и затем возвратит его
• Ключевая вещь здесь состоит в том, что переменная от "val нечто =" я хотел бы
  его тип, чтобы быть анонимным классом, не Foo [Интервал], так как это добавляет методы
  (someMethod в этом примере)

Какие-либо идеи?

Я думаю 2-е сбои, потому что Интервал типа стирается. Я могу, по-видимому, 'подсказать' компилятор как это: (это работает, но походит на взлом),

  def testTypeSpecialization = {
    class Foo[T]

    def add[X, T <% Foo[X]](dummy: X, obj: T): T =  obj

    val foo = add(2, new Foo[Int] {
      def someMethod: String = "Hello world"
    })

    foo.someMethod
  }