func map<U, E>(_ f: (Element) throws E -> U) throws E -> [U] ↑rethrowsは従来仕様のままにしておいて、伝搬スローはこうやって明示的に手書きするというアイデアもあった。func map<U, E>(_ f: (Element) throws E -> U) throws E -> [U] ↑rethrowsは従来仕様のままにしておいて、伝搬スローはこうやって明示的に手書きするというアイデアもあった。E == Never のとき throws しない という扱いが入れば、これまでのrethrowsの挙動の上位互換になる。