Module rustc_typeck::variance::constraints

Code to gather up constraints. Constraint construction and representation

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

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