As a side note, some people want inline enum types with exact syntax of A|B. The difference is that in this case the chosen side of inline enum is always meaningful. That is, if S:A&B and x:S, then .0(x) as A|B ≠ .1(x) as A|B I guess, the version suggested by TS reflects what Chris considered harmful. Those inline enums may be more feasible.
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution