[swift-evolution] Enhanced existential types proposal discussion

Matthew Johnson matthew at anandabits.com
Thu May 26 10:00:51 CDT 2016


> On May 26, 2016, at 9:54 AM, Jan E. Schotsman via swift-evolution <swift-evolution at swift.org> wrote:
> 
> In the "where clause" section, shouldn't this be allowed:
> 
> let a : Any<Collection, SetAlgebraType where Collection.Element == SetAlgebraType.Element>
> 
> I am asking because the acceptable type equality constraint is stated as:
> 
> Type equality constraint: X == ConcreteType

Yes, you should definitely be able to equate two associate types!  If the proposal isn’t clear about that it is probably just an oversight.  Good catch!

> 
> Jan E.
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution



More information about the swift-evolution mailing list