Broken link in Canonicalization chapter

[max-heller]

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

Line 109 in 4401e47

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

[VitalyAnkh]

What might be the meaning of SLG?

[fmease]

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.

[max-heller]

Fixed by #1865