Module constraints 

Code to gather up constraints. Constraint construction and representation

The second pass over the HIR determines the set of constraints. We walk the set of items and, for each member, generate new constraints.

Re-exports

use hir::def_id::DefId; 🔒

use hir::def_id::LocalDefId; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericArgKind; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::terms::VarianceTerm::*; 🔒

use super::terms::*; 🔒

Structs

Constraint 🔒

Declares that the variable decl_id appears in a location with variance variance.

ConstraintContext 🔒

CurrentItem 🔒

To build constraints, we visit one item (type, trait) at a time and look at its contents. So e.g., if we have

Functions

add_constraints_from_crate 🔒