Module rustc_hir_analysis::variance

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

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.

test

Code to write unit tests of variance.

xform 🔒

Code for transforming variances.

Functions

crate_variances 🔒

provide

variance_of_opaque 🔒

variances_of 🔒