protocol P { func f(arg: () throws -> Void) rethrows } struct S: P { var fHandler: (() throws(any Error) -> Void) throws(any Error) -> Void = { _ in } func f<E: Error>(arg: () throws(E) -> Void) throws(E) { do { try fHandler(arg) } catch { throw error as! E } } } typed throwsのおかげでrethrowsな関数の実装を外部から注入できるようになってて面白い