Minor grammar and syntax fixes

Minor grammar and syntax fixes found while reading.

src/trait-caching.md

@@ -54,7 +54,7 @@ use is done by the method `pick_candidate_cache` in `select.rs`. At
 the moment, we use a very simple, conservative rule: if there are any
 where-clauses in scope, then we use the local cache.  We used to try
 and draw finer-grained distinctions, but that led to a serious of
-annoying and weird bugs like #22019 and #18290. This simple rule seems
+annoying and weird bugs like [#22019] and [#18290]. This simple rule seems
 to be pretty clearly safe and also still retains a very high hit rate
 (~95% when compiling rustc).
 
@@ -63,3 +63,5 @@ general, is this section still accurate at all?
 
 [`ParamEnv`]: ./param_env.html
 [`tcx`]: ./ty.html
+[#18290]: https://github.com/rust-lang/rust/issues/18290
+[#22019]: https://github.com/rust-lang/rust/issues/22019

src/traits-associated-types.md

@@ -20,6 +20,8 @@ that syntax is expanded during
 ["type collection"](./type-checking.html) into the explicit form,
 though that is something we may want to change in the future.)
 
+[intoiter-item]: https://doc.rust-lang.org/nightly/core/iter/trait.IntoIterator.html#associatedtype.Item
+
 <a name=normalize>
 
 In some cases, associated type projections can be **normalized** --

src/type-inference.md

@@ -84,7 +84,7 @@ below in a separate section.
 
 The most basic operations you can perform in the type inferencer is
 **equality**, which forces two types `T` and `U` to be the same. The
-recommended way to add an equality constraint is using the `at`
+recommended way to add an equality constraint is to use the `at`
 method, roughly like so:
 
 ```rust