Здесь я получаю ошибку компиляции «scala: type mismatch; found: List [Object] required: List [Symbol] case h :: tail => foo (h._1: Int, h._2: Symbol) + декодирование (хвост) "Где происходит стирание типа и что такое безопасный способ избежать этого?
это не тип стирание, простой типа несоответствие:
foo(h._1 , h._2) :+ decode(tail)
результат Foo является List[Symbol], результат декодирования является List[Symbol]. Теперь вы пытаетесь поместить List внутри List, не удивляйте, что компилятор считает, что единственный способ хранения List и Symbols внутри - предоставить этот более поздний тип объекта (любого типа).
Скорее всего вы хотели бы просто объединить два списка:
foo(h._1 , h._2) ++ decode(tail)