Struct rustc_middle::ty::context::CommonLifetimes
source · pub struct CommonLifetimes<'tcx> {
pub re_static: Region<'tcx>,
pub re_erased: Region<'tcx>,
pub re_vars: Vec<Region<'tcx>>,
pub re_late_bounds: Vec<Vec<Region<'tcx>>>,
}
Fields§
§re_static: Region<'tcx>
ReStatic
re_erased: Region<'tcx>
Erased region, used outside of type inference.
re_vars: Vec<Region<'tcx>>
Pre-interned ReVar(ty::RegionVar(n))
for small values of n
.
re_late_bounds: Vec<Vec<Region<'tcx>>>
Pre-interned values of the form:
ReBound(DebruijnIndex(i), BoundRegion { var: v, kind: BrAnon })
for small values of i
and v
.
Implementations§
source§impl<'tcx> CommonLifetimes<'tcx>
impl<'tcx> CommonLifetimes<'tcx>
fn new(interners: &CtxtInterners<'tcx>) -> CommonLifetimes<'tcx>
Auto Trait Implementations§
impl<'tcx> DynSend for CommonLifetimes<'tcx>
impl<'tcx> DynSync for CommonLifetimes<'tcx>
impl<'tcx> Freeze for CommonLifetimes<'tcx>
impl<'tcx> RefUnwindSafe for CommonLifetimes<'tcx>
impl<'tcx> Send for CommonLifetimes<'tcx>
impl<'tcx> Sync for CommonLifetimes<'tcx>
impl<'tcx> Unpin for CommonLifetimes<'tcx>
impl<'tcx> UnwindSafe for CommonLifetimes<'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
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Filterable for T
impl<T> Filterable for T
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<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
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> 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: 64 bytes