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

Clean up coherence chapter in the Chalk book #749

Open seanchen1991 opened 2 years ago

seanchen1991 commented 2 years ago

From the preamble of the chapter in the Chalk book on coherence:

This document was previously prepared for the initial design of coherence rules in Chalk. It was copy-pasted here on 2020-10-06, but has not been vetted for accuracy of the current implementation or edited for clarity.

This section should be edited for correctness and cleaned up to match the other chapters in the book.

seanchen1991 commented 2 years ago

@rustbot claim