例の func foo() == func foo() throws Never func foo() throws == func foo() throws Error と整合してる。 (edited)

9:17 AM

なるほどー。でも enum は tagged union であって untagged union じゃないから、サブタイピングが働かないのでやっぱ変な気が。