Module for inferring the variance of type and lifetime parameters. See the rustc dev guide chapter for more info.
- Code to gather up constraints. Constraint construction and representation
- solve 🔒Code to solve constraints and write out the results. Constraint solving
- terms 🔒Defines the
TermsContextbasically houses an arena where we can allocate terms.
- Code to write unit tests of variance.
- xform 🔒Code for transforming variances.