Re-exportsยง
use rustc_index::IndexVec;๐use rustc_type_ir::RegionVid;๐use crate::infer::SubregionOrigin;๐use crate::infer::region_constraints::Constraint;๐use crate::infer::region_constraints::ConstraintKind;๐use crate::infer::region_constraints::RegionConstraintData;๐
Structsยง
- Indexed
Constraint ๐Edges - An index from region variables to their corresponding constraint edges, used on some error paths.
Enumsยง
- Edge
Direction ๐ - Selects either out-edges or in-edges for
IndexedConstraintEdges::adjacent_edges.
Type Aliasesยง
- Constraint
Pair ๐ - Type alias for the pairs stored in
RegionConstraintData::constraints, which we are indexing.