Module variance 

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

Re-exports

use itertools::Itertools; 🔒

use rustc_arena::DroplessArena; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::CrateVariancesMap; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_span::span_bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

Modules

constraints 🔒

Code to gather up constraints. Constraint construction and representation

dump 🔒

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.

Enums

ForceCaptureTraitArgs 🔒

Functions

crate_variances 🔒

variance_of_opaque 🔒

variances_of 🔒