«where» clauses on contextually generic declarations

[technogen (Gor Gyolchanyan)]

@anthonylatsis

It is by far not just a syntactic issue. As you noted, opaque types do not support any direct constraints yet. This is something that would require a lot of effort to implement altogether.

@technogen

By the way, is this the same reason why we still have to manually implement type-erasing wrappers like AnyIterator?

To some extent, yes.

Thanks a lot for your detailed explanation! I just have two more questions left: how important is the implementation generalized existentials to the currebt Swift roadmap and is there any documentation of the swift compiler internals for me to study in order to contribute.
This sounds like the holy grail of swift evolution and I’d really like to live long enough to see it happen!

[anthonylatsis]

@technogen

how important is the implementation generalized existentials to the current Swift roadmap

Not sure about the holy grail, but certainly an important step. The several *Manifesto documents in the docs folder will give you a general overview on the roadmap. I am just a contributor myself, so there's hardly anything more exhaustive I can offer.

---

Regarding the compiler, you may want to search for relevant topics in the compiler category. Here's one.

[technogen (Gor Gyolchanyan)]

@anthonylatsis

@technogen

how important is the implementation generalized existentials to the current Swift roadmap

Not sure about the holy grail, but certainly an important step. The several *Manifesto documents in the docs folder will give you a general overview on the roadmap. I am just a contributor myself, so there's hardly anything more exhaustive I can offer.

---

Regarding the compiler, you may want to search for relevant topics in the compiler category. Here one.

Thank you very much!