「$0 is Numeric を自動的に推論するんだ」って提案するのは自由ですね (edited)

8:17 AM

ある型が満たすプロトコルを全部列挙することはできるはず(superprotocolを走査)だから積集合を取るだけな気はしますね

8:17 AM

その後冗長なものを排除した上で残ったもののintersection protocolですね