This is the primary thread discussing the reasons for that:
https://forums.swift.org/t/lifting-the-self-or-associated-type-constraint-on-existentials/18025
This is the primary thread discussing the reasons for that:
https://forums.swift.org/t/lifting-the-self-or-associated-type-constraint-on-existentials/18025