Implied bounds, perfect derive #152
Description
Summary
I've been working on a refined design of implied bounds and perfect derive (the two are linked, for reasons that will become clear) and I'd like to preserve it to the lang team and get feedback.
Background reading
None yet. I intend to post the writeup here as a blog post.
About this issue
This issue corresponds to a lang-team design meeting proposal. It corresponds
to a possible topic of discussion that may be scheduled for deeper discussion
during one of our design meetings.