Comment Comment by panstromek There's some movement on specialization as well: https://goals.rust-lang.org/2026/specialization.htmlIt's not directly blocked on the solver, but getting the type system into a better shape definitely helps reasoning about the soundness issues involved. parent panstromek 11 days ago
It's not directly blocked on the solver, but getting the type system into a better shape definitely helps reasoning about the soundness issues involved.