switchでdefault: preconditionFailure()とかやります