Take a look at https://contextgeneric.dev, it's as close as one can get to solving this issue without modifying rustc.
Highly Expressive Macros
No thanks. Most of the time you do not need macros and adding those is not free.
CGP enables you to write overlapping and orphan implementations of any trait, breaking free from Rust's coherence rules while maintaining type safety.
Isn't it the case that coherence is what makes Rust’s dependency graph sound? So, why would I want to give up that?
alt Hacker News
Highly Expressive Macros
No thanks. Most of the time you do not need macros and adding those is not free.
I am not sure that I need this. I can't remember to run this issue in the last couple of years.Isn't it the case that coherence is what makes Rust’s dependency graph sound? So, why would I want to give up that?