<!--
What else should be said here?
- The only documentation I am aware of is https://rust-lang-nursery.github.io/rustc-guide/type-inference.html
+ The only documentation I am aware of is https://rust-lang.github.io/rustc-guide/type-inference.html
There should be a broader discussion of type inference somewhere.
-->