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

Thorsten Seitz tseitz42 at icloud.com
Thu Feb 18 15:52:25 CST 2016


> Am 12.02.2016 um 18:26 schrieb Amir Michail via swift-evolution <swift-evolution at swift.org>:
> 
>> How far would you require the compiler to go?  precondition(2 < 1)?
>> precondition(someFunctionThatAlwaysReturnsFalse())?
>> precondition(isFermatsLastTheoremTrue())?
> 
> Just “false”. Why would you write anything else?

Why would you write anything else than preconditionFailure()??

-Thorsten


More information about the swift-evolution mailing list