pub enum TyKind<'hir> {
Show 16 variants
InferDelegation(DefId, InferDelegationKind),
Slice(&'hir Ty<'hir>),
Array(&'hir Ty<'hir>, ArrayLen<'hir>),
Ptr(MutTy<'hir>),
Ref(&'hir Lifetime, MutTy<'hir>),
BareFn(&'hir BareFnTy<'hir>),
Never,
Tup(&'hir [Ty<'hir>]),
AnonAdt(ItemId),
Path(QPath<'hir>),
OpaqueDef(ItemId, &'hir [GenericArg<'hir>], bool),
TraitObject(&'hir [PolyTraitRef<'hir>], &'hir Lifetime, TraitObjectSyntax),
Typeof(&'hir AnonConst),
Infer,
Err(ErrorGuaranteed),
Pat(&'hir Ty<'hir>, &'hir Pat<'hir>),
}
Expand description
The various kinds of types recognized by the compiler.
Variants§
InferDelegation(DefId, InferDelegationKind)
Actual type should be inherited from DefId
signature
Slice(&'hir Ty<'hir>)
A variable length slice (i.e., [T]
).
Array(&'hir Ty<'hir>, ArrayLen<'hir>)
A fixed length array (i.e., [T; n]
).
Ptr(MutTy<'hir>)
A raw pointer (i.e., *const T
or *mut T
).
Ref(&'hir Lifetime, MutTy<'hir>)
A reference (i.e., &'a T
or &'a mut T
).
BareFn(&'hir BareFnTy<'hir>)
A bare function (e.g., fn(usize) -> bool
).
Never
The never type (!
).
Tup(&'hir [Ty<'hir>])
A tuple ((A, B, C, D, ...)
).
AnonAdt(ItemId)
An anonymous struct or union type i.e. struct { foo: Type }
or union { foo: Type }
Path(QPath<'hir>)
A path to a type definition (module::module::...::Type
), or an
associated type (e.g., <Vec<T> as Trait>::Type
or <T>::Target
).
Type parameters may be stored in each PathSegment
.
OpaqueDef(ItemId, &'hir [GenericArg<'hir>], bool)
An opaque type definition itself. This is only used for impl Trait
.
The generic argument list contains the lifetimes (and in the future
possibly parameters) that are actually bound on the impl Trait
.
The last parameter specifies whether this opaque appears in a trait definition.
TraitObject(&'hir [PolyTraitRef<'hir>], &'hir Lifetime, TraitObjectSyntax)
A trait object type Bound1 + Bound2 + Bound3
where Bound
is a trait or a lifetime.
Typeof(&'hir AnonConst)
Unused for now.
Infer
TyKind::Infer
means the type should be inferred instead of it having been
specified. This can appear anywhere in a type.
Err(ErrorGuaranteed)
Placeholder for a type that has failed to be defined.
Pat(&'hir Ty<'hir>, &'hir Pat<'hir>)
Pattern types (pattern_type!(u32 is 1..)
)
Trait Implementations§
source§impl<'hir, __CTX> HashStable<__CTX> for TyKind<'hir>where
__CTX: HashStableContext,
impl<'hir, __CTX> HashStable<__CTX> for TyKind<'hir>where
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
impl<'hir> Copy for TyKind<'hir>
Auto Trait Implementations§
impl<'hir> Freeze for TyKind<'hir>
impl<'hir> RefUnwindSafe for TyKind<'hir>
impl<'hir> !Send for TyKind<'hir>
impl<'hir> !Sync for TyKind<'hir>
impl<'hir> Unpin for TyKind<'hir>
impl<'hir> UnwindSafe for TyKind<'hir>
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<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: Copy,
impl<T> CloneToUninit for Twhere
T: Copy,
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)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<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,
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: 32 bytes
Size for each variant:
InferDelegation
: 31 bytesSlice
: 15 bytesArray
: 31 bytesPtr
: 23 bytesRef
: 31 bytesBareFn
: 15 bytesNever
: 0 bytesTup
: 23 bytesAnonAdt
: 7 bytesPath
: 31 bytesOpaqueDef
: 23 bytesTraitObject
: 31 bytesTypeof
: 15 bytesInfer
: 0 bytesErr
: 0 bytesPat
: 23 bytes