This is good to know, thanks for the clarification!

Austin

> On Jun 1, 2016, at 9:38 AM, Joe Groff <[email protected]> wrote:
> 
> A regular value is a 1-tuple of itself. In the type system, we know what 
> abstraction level a value expects to work at. It shouldn't be a problem for a 
> variadic type parameter to be bound to 0, 1, or more types.
> 
> -Joe

_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to