伝搬のルールは、 rethrows protocol の requirements の返り値の rethrows protocol が

3:31 AM

元protocolのthrows性と同一になる、という事か。

3:32 AM

で、rethrowsマーカーはrequirements全てのthrowsに連動していて、conform側では一貫していないといけない。

3:32 AM

一応動きそうなルールだ。