Remix.run Logo
faresahmed 11 hours ago

Take a look at https://contextgeneric.dev, it's as close as one can get to solving this issue without modifying rustc.

dev_l1x_be an hour ago | parent [-]

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.
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?

hmry 7 minutes ago | parent [-]

> Isn't it the case that coherence is what makes Rust’s dependency graph sound? So, why would I want to give up that?

Read the article that comment is on, it's all about why one would want that.