[swift-evolution] No disjunctions in type constraints: why?

[Daryle Walker]

From <https://github.com/apple/swift-evolution/blob/master/commonly_proposed.md#miscellaneous>.

Maybe I’m not up on my Type Theory, but why should type constraint disjunctions be banned?

— 
Daryle Walker
Mac, Internet, and Video Game Junkie
darylew AT mac DOT com 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20180113/2d4d7b6a/attachment.html>