Module region_infer

Source

ModulesΒ§

dump_mir πŸ”’
As part of generating the regions, if you enable -Zdump-mir=nll, we will generate an annotated copy of the MIR that includes the state of region inference. This code handles emitting the region context internal state.
graphviz πŸ”’
This module provides linkage between RegionInferenceContext and rustc_graphviz traits, specialized to attaching borrowck analysis data to rendered labels.
opaque_types πŸ”’
reverse_sccs πŸ”’
values πŸ”’

StructsΒ§

AppliedMemberConstraint πŸ”’
Each time that apply_member_constraint is successful, it appends one of these structs to the member_constraints_applied field. This is used in error reporting to trace out what happened.
BlameConstraint πŸ”’
RegionDefinition πŸ”’
RegionInferenceContext
RegionTracker
An annotation for region graph SCCs that tracks the values of its elements.
TypeTest πŸ”’
A β€œtype test” corresponds to an outlives constraint between a type and a lifetime, like T: 'x or <T as Foo>::Bar: 'x. They are translated from the Verify region constraints in the ordinary inference context.

EnumsΒ§

Cause πŸ”’
N.B., the variants in Cause are intentionally ordered. Lower values are preferred when it comes to error messages. Do not reorder willy nilly.
RegionRelationCheckResult πŸ”’
When we have an unmet lifetime constraint, we try to propagate it outward (e.g. to a closure environment). If we can’t, it is an error.
Trace πŸ”’

FunctionsΒ§

sccs_info πŸ”’

Type AliasesΒ§

ConstraintSccs πŸ”’