A, B, C]: R[T]. Тайп-классы A, B, C вполне легально дерайвятся неявно для любого Product над ними. Но, однако, для R неявного дерайва нет, и, увы, методы R[T] упадут в рантайме, если T - не case class. Чего хочется: в скоупе своего трейта дерайвить R[T] для любого case class (не всех подряд Product). Как задекларировать evidence "T это кейс класс" так, чтобы по минимуму напрягать компилятор? Есть ли какие-нибудь варианты кроме LabelledGeneric? Простейший макрос какой может быть? Спасибо
В рантайме ?оО
Обсуждают сегодня