Generic typealiases with additional constraints?

[dan-zheng]

@Slava_Pestov

So the syntax being proposed here is quite different than a generic typealias. It is more like a shorthand for a protocol type and a where clause to be expanded at the point of use (even if you decide not to allow it to be used as a type of a value).

Yes, this is pretty much what I had in mind. Maybe what others had in mind too.

This new topic deviated from generic typealiases after @typesanitizer answered my initial question, sorry. This new topic should probably be its own thread to avoid confusion.