Iceman

マーカープロトコルだけの制約に依存したcond confは書けないという話は、具体的な問題はわからないけどなんとなくNGそうな気はしていて、6.0のほうが正しそうに感じるんですよね

ああ、そのエラー自体は以前からあって、実行時の as? によるexistential へのキャストができないからですね

1:54 AM

Error は nominal protocol (普通のプロトコル) だから、 any Error に as? でキャストできるけど

1:54 AM

それにcondconfがついてる時は安全性のために実行時にcondconfを評価してからダウンキャストするんですが

1:54 AM

評価しようにも型パラメータが Sendable かどうかは実行時には残ってないからできない