if <condition> { preconditionFailure() } の形でかけないケースですよね switchはたしかにそう

8:39 AM

↑の形になるときは precondition を普通に使えばよいから。