Type inference #2
Description
The behavior of type inference, including both when the language can infer types and the boundaries and limitations of when it cannot.
Additions:
- Chapter on overview of type inference and general assumptions
- all elided types should be able to be fully inferred to a single type
- Additional info on closure inference (currently found at https://doc.rust-lang.org/stable/reference/types/closure.html?highlight=closure#closure-types)
- upvars (and their effect on auto trait bounds)
- fn trait inference
- signature inference
- Divergence (Divergence #15)
- reborrows