precondition を使わずに preconditionFailure を使うとき。確かに switch はあり得るかも。

8:39 AM

default: fatalError() より default: preconditionFailure() の方が筋が通ってるね。

8:39 AM

なるほど。