[swift-evolution] Proposal: switchValue

[Amir Michail]

Example:

switch random() % 2 {
case 0: 
            …
default: precondition(switchValue == 1) 
             ...
}