preconditionFailure が Never を返すことについて