rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
https://rust-lang.github.io/chalk/book/
Other
1.81k stars 179 forks source link

any progress and roadmap? #791

Closed npuichigo closed 1 year ago

jackh726 commented 1 year ago

Please see https://blog.rust-lang.org/2023/01/20/types-announcement.html.

In the future, issues are generally not the right place to ask about progress/plans. Please use zulip for that.