pub(crate) struct UniversalRegions<'tcx> {
indices: UniversalRegionIndices<'tcx>,
pub fr_static: RegionVid,
pub fr_fn_body: RegionVid,
first_extern_index: usize,
first_local_index: usize,
num_universals: usize,
pub defining_ty: DefiningTy<'tcx>,
pub unnormalized_output_ty: Ty<'tcx>,
pub unnormalized_input_tys: &'tcx [Ty<'tcx>],
pub yield_ty: Option<Ty<'tcx>>,
pub resume_ty: Option<Ty<'tcx>>,
}
Fields§
§indices: UniversalRegionIndices<'tcx>
§fr_static: RegionVid
The vid assigned to 'static
fr_fn_body: RegionVid
A special region vid created to represent the current MIR fn body. It will outlive the entire CFG but it will not outlive any other universal regions.
first_extern_index: usize
We create region variables such that they are ordered by their
RegionClassification
. The first block are globals, then
externals, then locals. So, things from:
FIRST_GLOBAL_INDEX..first_extern_index
are global,first_extern_index..first_local_index
are external,first_local_index..num_universals
are local.
first_local_index: usize
See first_extern_index
.
num_universals: usize
The total number of universal region variables instantiated.
defining_ty: DefiningTy<'tcx>
The “defining” type for this function, with all universal
regions instantiated. For a closure or coroutine, this is the
closure type, but for a top-level function it’s the FnDef
.
unnormalized_output_ty: Ty<'tcx>
The return type of this function, with all regions replaced by
their universal RegionVid
equivalents.
N.B., associated types in this type have not been normalized, as the name suggests. =)
unnormalized_input_tys: &'tcx [Ty<'tcx>]
The fully liberated input types of this function, with all
regions replaced by their universal RegionVid
equivalents.
N.B., associated types in these types have not been normalized, as the name suggests. =)
yield_ty: Option<Ty<'tcx>>
§resume_ty: Option<Ty<'tcx>>
Implementations§
source§impl<'tcx> UniversalRegions<'tcx>
impl<'tcx> UniversalRegions<'tcx>
sourcepub(crate) fn new(
infcx: &BorrowckInferCtxt<'tcx>,
mir_def: LocalDefId,
param_env: ParamEnv<'tcx>,
) -> Self
pub(crate) fn new( infcx: &BorrowckInferCtxt<'tcx>, mir_def: LocalDefId, param_env: ParamEnv<'tcx>, ) -> Self
Creates a new and fully initialized UniversalRegions
that
contains indices for all the free regions found in the given
MIR – that is, all the regions that appear in the function’s
signature. This will also compute the relationships that are
known between those regions.
sourcepub(crate) fn closure_mapping(
tcx: TyCtxt<'tcx>,
closure_args: GenericArgsRef<'tcx>,
expected_num_vars: usize,
closure_def_id: LocalDefId,
) -> IndexVec<RegionVid, Region<'tcx>>
pub(crate) fn closure_mapping( tcx: TyCtxt<'tcx>, closure_args: GenericArgsRef<'tcx>, expected_num_vars: usize, closure_def_id: LocalDefId, ) -> IndexVec<RegionVid, Region<'tcx>>
Given a reference to a closure type, extracts all the values
from its free regions and returns a vector with them. This is
used when the closure’s creator checks that the
ClosureRegionRequirements
are met. The requirements from
ClosureRegionRequirements
are expressed in terms of
RegionVid
entries that map into the returned vector V
: so
if the ClosureRegionRequirements
contains something like
'1: '2
, then the caller would impose the constraint that
V[1]: V[2]
.
sourcepub(crate) fn is_universal_region(&self, r: RegionVid) -> bool
pub(crate) fn is_universal_region(&self, r: RegionVid) -> bool
Returns true
if r
is a member of this set of universal regions.
sourcepub(crate) fn region_classification(
&self,
r: RegionVid,
) -> Option<RegionClassification>
pub(crate) fn region_classification( &self, r: RegionVid, ) -> Option<RegionClassification>
Classifies r
as a universal region, returning None
if this
is not a member of this set of universal regions.
sourcepub(crate) fn universal_regions(&self) -> impl Iterator<Item = RegionVid>
pub(crate) fn universal_regions(&self) -> impl Iterator<Item = RegionVid>
Returns an iterator over all the RegionVids corresponding to universally quantified free regions.
sourcepub(crate) fn is_local_free_region(&self, r: RegionVid) -> bool
pub(crate) fn is_local_free_region(&self, r: RegionVid) -> bool
Returns true
if r
is classified as a local region.
sourcepub(crate) fn len(&self) -> usize
pub(crate) fn len(&self) -> usize
Returns the number of universal regions created in any category.
sourcepub(crate) fn num_global_and_external_regions(&self) -> usize
pub(crate) fn num_global_and_external_regions(&self) -> usize
Returns the number of global plus external universal regions. For closures, these are the regions that appear free in the closure type (versus those bound in the closure signature). They are therefore the regions between which the closure may impose constraints that its creator must verify.
sourcepub(crate) fn named_universal_regions<'s>(
&'s self,
) -> impl Iterator<Item = (Region<'tcx>, RegionVid)> + 's
pub(crate) fn named_universal_regions<'s>( &'s self, ) -> impl Iterator<Item = (Region<'tcx>, RegionVid)> + 's
Gets an iterator over all the early-bound regions that have names.
sourcepub(crate) fn to_region_vid(&self, r: Region<'tcx>) -> RegionVid
pub(crate) fn to_region_vid(&self, r: Region<'tcx>) -> RegionVid
See UniversalRegionIndices::to_region_vid
.
sourcepub(crate) fn annotate(&self, tcx: TyCtxt<'tcx>, err: &mut Diag<'_, ()>)
pub(crate) fn annotate(&self, tcx: TyCtxt<'tcx>, err: &mut Diag<'_, ()>)
As part of the NLL unit tests, you can annotate a function with
#[rustc_regions]
, and we will emit information about the region
inference context and – in particular – the external constraints
that this region imposes on others. The methods in this file
handle the part about dumping the inference context internal
state.
pub(crate) fn tainted_by_errors(&self) -> Option<ErrorGuaranteed>
Trait Implementations§
Auto Trait Implementations§
impl<'tcx> !Freeze for UniversalRegions<'tcx>
impl<'tcx> !RefUnwindSafe for UniversalRegions<'tcx>
impl<'tcx> Send for UniversalRegions<'tcx>
impl<'tcx> !Sync for UniversalRegions<'tcx>
impl<'tcx> Unpin for UniversalRegions<'tcx>
impl<'tcx> !UnwindSafe for UniversalRegions<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 160 bytes