func next() throws(when Failure!=Never) -> Element?

3:47 AM

みたいにnextもオーバーロードするんじゃなくて、throws自体が変化するっていうスタイルでひとまとめにかかないとな。

3:48 AM

あ、ちがう、そこは func next() throws(Failure) -> Element? こうかければいいんだ。

3:48 AM

typed throwsですね。