pub(crate) enum DefiningTy<'tcx> {
Closure(DefId, GenericArgsRef<'tcx>),
Coroutine(DefId, GenericArgsRef<'tcx>),
CoroutineClosure(DefId, GenericArgsRef<'tcx>),
FnDef(DefId, GenericArgsRef<'tcx>),
Const(DefId, GenericArgsRef<'tcx>),
InlineConst(DefId, GenericArgsRef<'tcx>),
}
Expand description
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.
Variants§
Closure(DefId, GenericArgsRef<'tcx>)
The MIR is a closure. The signature is found via
ClosureArgs::closure_sig_ty
.
Coroutine(DefId, GenericArgsRef<'tcx>)
The MIR is a coroutine. The signature is that coroutines take
no parameters and return the result of
ClosureArgs::coroutine_return_ty
.
CoroutineClosure(DefId, GenericArgsRef<'tcx>)
The MIR is a special kind of closure that returns coroutines.
See the documentation on CoroutineClosureSignature
for details
on how to construct the callable signature of the coroutine from
its args.
FnDef(DefId, GenericArgsRef<'tcx>)
The MIR is a fn item with the given DefId
and args. The signature
of the function can be bound then with the fn_sig
query.
Const(DefId, GenericArgsRef<'tcx>)
The MIR represents some form of constant. The signature then is that it has no inputs and a single return value, which is the value of the constant.
InlineConst(DefId, GenericArgsRef<'tcx>)
The MIR represents an inline const. The signature has no inputs and a
single return value found via InlineConstArgs::ty
.
Implementations§
source§impl<'tcx> DefiningTy<'tcx>
impl<'tcx> DefiningTy<'tcx>
sourcepub(crate) fn upvar_tys(self) -> &'tcx List<Ty<'tcx>>
pub(crate) fn upvar_tys(self) -> &'tcx List<Ty<'tcx>>
Returns a list of all the upvar types for this MIR. If this is not a closure or coroutine, there are no upvars, and hence it will be an empty list. The order of types in this list will match up with the upvar order in the HIR, typesystem, and MIR.
sourcepub(crate) fn implicit_inputs(self) -> usize
pub(crate) fn implicit_inputs(self) -> usize
Number of implicit inputs – notably the “environment” parameter for closures – that appear in MIR but not in the user’s code.
pub(crate) fn is_fn_def(&self) -> bool
pub(crate) fn is_const(&self) -> bool
pub(crate) fn def_id(&self) -> DefId
Trait Implementations§
source§impl<'tcx> Clone for DefiningTy<'tcx>
impl<'tcx> Clone for DefiningTy<'tcx>
source§fn clone(&self) -> DefiningTy<'tcx>
fn clone(&self) -> DefiningTy<'tcx>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<'tcx> Debug for DefiningTy<'tcx>
impl<'tcx> Debug for DefiningTy<'tcx>
impl<'tcx> Copy for DefiningTy<'tcx>
Auto Trait Implementations§
impl<'tcx> Freeze for DefiningTy<'tcx>
impl<'tcx> !RefUnwindSafe for DefiningTy<'tcx>
impl<'tcx> Send for DefiningTy<'tcx>
impl<'tcx> Sync for DefiningTy<'tcx>
impl<'tcx> Unpin for DefiningTy<'tcx>
impl<'tcx> !UnwindSafe for DefiningTy<'tcx>
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'a mut [T]
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'a mut [T]
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)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: 24 bytes
Size for each variant:
Closure
: 16 bytesCoroutine
: 16 bytesCoroutineClosure
: 16 bytesFnDef
: 16 bytesConst
: 16 bytesInlineConst
: 16 bytes