rust-lang/rustc-dev-guide

Broken link in Canonicalization chapter

max-heller opened this issue · 3 comments

max-heller commented

rustc-dev-guide/src/traits/canonicalization.md

Line 109 in 4401e47

explained in more detail in [another section](./slg.html), but

VitalyAnkh commented

What might be the meaning of SLG?

fmease commented

What might be the meaning of SLG?

It probably stands for SLG resolution – Selective Linear General – (paper) given that there's SLD resolution – Selective Linear Definite.

slg.html probably used to link to https://rust-lang.github.io/chalk/book/engine/slg.html.

  • 👍1
max-heller commented

Fixed by #1865