[swift-evolution] Proposal: Initialization should not be required in precondition(false) case.

David Turnbull dturnbull at gmail.com
Fri Feb 12 10:29:44 CST 2016


Use preconditionFailure() instead of precondition(false).

-david

On Fri, Feb 12, 2016 at 7:59 AM, Amir Michail via swift-evolution <
swift-evolution at swift.org> wrote:

> For example:
>
> let x:Int
> if … { x = 1 }
> else if … { x = 2 }
> else { precondition(false) } // no initialization needed
>
> Similarly,
>
> let x:Int
> switch ... {
> case …: x = 1
> case …: x = 2
> default: precondition(false) // no initialization needed
> }
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160212/57b16889/attachment.html>


More information about the swift-evolution mailing list