RustcContributor::explore @lcnr session: walkthrough of -Ztrait-solver=next
We are going to go through the new trait solver in rustc, explaining the general structure, how it works, and which parts are still missing.
HackMD: https://hackmd.io/b2Vn8pNoTtmrptRQuvOjmA