Divergence

[jackh726]

Branch here: https://github.com/rust-lang/project-goal-reference-expansion/tree/reference-type-inference-divergence

Tasks:

• Write the chapter
• Do proof-reading and editing
• Make PR to rust-lang/reference
• Land PR