[swift-evolution] Code Contracts

[Suminda Dharmasena]

E.g.


   1. var @where("myVariable <= 100 && myVariable >= 0") myVariable = 42




   1. @where("myVariable <= 80 && myVariable >= 50")
   2. {
   3. ...
   4. }




   1. @where("score <= 100 && score >= 0")
   2. for score in individualScores {
   3. ...
   4. }
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160115/f944b211/attachment.html>