Module rustc_typeck::variance[][src]

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

Code to solve constraints and write out the results. Constraint solving

Defines the TermsContext basically houses an arena where we can allocate terms.

Code to write unit tests of variance.

Code for transforming variances.

Functions