# Module rustc_hir_analysis::variance::constraints

source ยท ## Expand description

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.

## Structsยง

- Constraint ๐Declares that the variable
`decl_id`

appears in a location with variance`variance`

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