Expand description
Module for inferring the variance of type and lifetime parameters. See the rustc dev guide chapter for more info.
Modules§
- constraints 🔒
- Code to gather up constraints. Constraint construction and representation
- dump 🔒
- solve 🔒
- Code to solve constraints and write out the results. Constraint solving
- terms 🔒
- Defines the
TermsContext
basically houses an arena where we can allocate terms.