The rustc-guide has moved! You will be redirected to rustc-dev-guide shortly. Alternately, click here: https://rustc-dev-guide.rust-lang.org/type-inference.html.