Hello swifters,
I have been working on an package named TypeEraserGenerator (I know, very creative naming) which has an extensive set of macros for generating type erasers for protocols.
It has support for associated types, static requirements, where clauses and generating erasers for composition types.
I mean, the premise is simple, there isn't much to write about.
Let me know what you think!