Module universal_regions 

Code to extract the universally quantified regions declared on a function. For example:

fn foo<'a, 'b, 'c: 'b>() { }

here we would return a map assigning each of {'a, 'b, 'c} to an index.

The code in this file doesn’t do anything with those results; it just returns them for other code to use.

Re-exports

use std::cell::Cell; 🔒

use std::iter; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_errors::Diag; 🔒

use rustc_hir::BodyOwnerKind; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_index::IndexVec; 🔒

use rustc_infer::infer::NllRegionVariableOrigin; 🔒

use rustc_macros::extension; 🔒

use rustc_middle::mir::RETURN_PLACE; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::BoundVariableKind; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::InlineConstArgs; 🔒

use rustc_middle::ty::InlineConstArgsParts; 🔒

use rustc_middle::ty::List; 🔒

use rustc_middle::ty::RegionVid; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::fold_regions; 🔒

use rustc_span::ErrorGuaranteed; 🔒

use rustc_span::bug; 🔒

use rustc_span::kw; 🔒

use rustc_span::span_bug; 🔒

use rustc_span::sym; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::BorrowckInferCtxt; 🔒

use crate::renumber::RegionCtxt; 🔒

Structs

UniversalRegionIndices 🔒

UniversalRegions 🔒

UniversalRegionsBuilder 🔒

Enums

DefiningTy 🔒

The “defining type” for this MIR. The key feature of the “defining type” is that it contains the information needed to derive all the universal regions that are in scope as well as the types of the inputs/output from the MIR. In general, early-bound universal regions appear free in the defining type and late-bound regions appear bound in the signature.

RegionClassification 🔒

Constants

FIRST_GLOBAL_INDEX 🔒

Traits

InferCtxtExt 🔒

Functions

for_each_late_bound_region_in_item 🔒

Iterates over the late-bound regions defined on mir_def_id and all of its parents, up to the typeck root, and invokes f with the liberated form of each one.

for_each_late_bound_region_in_recursive_scope 🔒

Iterates over the late-bound regions defined on mir_def_id and all of its parents, up to the typeck root, and invokes f with the liberated form of each one.