= Int @@ Root
type NodeId = Int @@ Node
type LeafId = Int @@ Leaf
def someF(k: RootId)
попытка вызвать с инстансом, который был тагнут, как NodeId предсказуемо проваливается. А как, чтобы не проваливалась?
ты же не можешь скормить Leaf туда, где требуется Node ) Но было бы можно если бы Leaf extends Node. С тегами тоже можно через OverTagged
Обсуждают сегодня