Rustc Trait System Refactor Initiative Update: Stabilizing `-Znext-solver=coherence` | Inside Rust Blog

For me, type system is the most important feature for a programming language to be pleasant to use. It's very nice to see that Rust doesn't stop on what it already has, which is already pretty good, imo.