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

Fix broken markdown and intr-doc links in documentation #731

Closed JakobDegen closed 3 years ago

JakobDegen commented 3 years ago

Was reading documentation and stumbled across some broken markdown. There are still lots of other broken intra-doc links in the repo, but this covers at least some of them and the more critical issues in wf.rs.

nikomatsakis commented 3 years ago

@bors r+

bors commented 3 years ago

:pushpin: Commit 4b64a07e6a2e583ad11acfb183d9adac9a467cd7 has been approved by nikomatsakis

bors commented 3 years ago

:hourglass: Testing commit 4b64a07e6a2e583ad11acfb183d9adac9a467cd7 with merge eaa62734116a1092e659aa2d4d012524d35326f6...

bors commented 3 years ago

:sunny: Test successful - checks-actions Approved by: nikomatsakis Pushing eaa62734116a1092e659aa2d4d012524d35326f6 to master...