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.