assertionFailure は戻り値が Void ですが、 preconditionFailure は Never なのでできますね。

6:55 AM

型の上では。