Module rustc_typeck::variance

source ·
Expand description

Module for inferring the variance of type and lifetime parameters. See the rustc dev guide chapter for more info.

Modules

Code to gather up constraints. Constraint construction and representation
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.
Code to write unit tests of variance.
xform 🔒
Code for transforming variances.

Functions