[][src]Module rustc_mir::borrow_check::region_infer

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Modules

dump_mirInternal

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.

graphvizInternal

This module provides linkage between RegionInferenceContext and librustc_graphviz traits, specialized to attaching borrowck analysis data to rendered labels.

opaque_typesInternal
reverse_sccsInternal
valuesInternal

Structs

AppliedMemberConstraintInternal

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.

RegionDefinitionInternal
RegionInferenceContextInternal
TypeTestInternal

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

CauseInternal

N.B., the variants in Cause are intentionally ordered. Lower values are preferred when it comes to error messages. Do not reorder willy nilly.

RegionRelationCheckResultInternal

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.

TraceInternal

Traits

ClosureRegionRequirementsExtInternal