search

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.84k stars 182 forks source link

[WIP] Fix auto-traits for generic closures #747

Closed pierwill closed 2 years ago

pierwill commented 2 years ago

See #734.