別件でこれまさしくハマってました… 型の名前からその型の性質を調べるのが大変

11:41 PM

distributed actorは引数と返り値の型が特定のprotocolを満たしてるか検査できるので、そのような機能をマクロから利用したい