Description
Section 5, Variable bindings, mentions "Well, Rust has this thing called "Hindley-Milner type inference", named after some really smart type theorists."
This is a minor nitpick, but I cringed when I read that sentence.
There are lots of features in Rust that are the result of work by smart people. There is no need to single out the Hindley-Milner algorithm.
Also the follow on text seems a bit patronising "If you clicked that link, don't be scared:"
Writing like that tends to perpetuate the idea that type inference is deep magic, when it is not.
I expect many people reading the Rust guide will be familiar with type inference, even the HM algorithm. It is fine to link to the Wikipedia article, but I think the Guide should not imply that it is a difficult topic or something which is scary.