pub enum TyKind {
Show 20 variants
Slice(P<Ty>),
Array(P<Ty>, AnonConst),
Ptr(MutTy),
Ref(Option<Lifetime>, MutTy),
PinnedRef(Option<Lifetime>, MutTy),
BareFn(P<BareFnTy>),
Never,
Tup(ThinVec<P<Ty>>),
Path(Option<P<QSelf>>, Path),
TraitObject(GenericBounds, TraitObjectSyntax),
ImplTrait(NodeId, GenericBounds),
Paren(P<Ty>),
Typeof(AnonConst),
Infer,
ImplicitSelf,
MacCall(P<MacCall>),
CVarArgs,
Pat(P<Ty>, P<Pat>),
Dummy,
Err(ErrorGuaranteed),
}
Expand description
The various kinds of type recognized by the compiler.
Variants§
Slice(P<Ty>)
A variable-length slice ([T]
).
Array(P<Ty>, AnonConst)
A fixed length array ([T; n]
).
Ptr(MutTy)
A raw pointer (*const T
or *mut T
).
Ref(Option<Lifetime>, MutTy)
A reference (&'a T
or &'a mut T
).
PinnedRef(Option<Lifetime>, MutTy)
A pinned reference (&'a pin const T
or &'a pin mut T
).
Desugars into Pin<&'a T>
or Pin<&'a mut T>
.
BareFn(P<BareFnTy>)
A bare function (e.g., fn(usize) -> bool
).
Never
The never type (!
).
Tup(ThinVec<P<Ty>>)
A tuple ((A, B, C, D,...)
).
Path(Option<P<QSelf>>, Path)
A path (module::module::...::Type
), optionally
“qualified”, e.g., <Vec<T> as SomeTrait>::SomeType
.
Type parameters are stored in the Path
itself.
TraitObject(GenericBounds, TraitObjectSyntax)
A trait object type Bound1 + Bound2 + Bound3
where Bound
is a trait or a lifetime.
ImplTrait(NodeId, GenericBounds)
An impl Bound1 + Bound2 + Bound3
type
where Bound
is a trait or a lifetime.
The NodeId
exists to prevent lowering from having to
generate NodeId
s on the fly, which would complicate
the generation of opaque type Foo = impl Trait
items significantly.
Paren(P<Ty>)
No-op; kept solely so that we can pretty-print faithfully.
Typeof(AnonConst)
Unused for now.
Infer
This means the type should be inferred instead of it having been specified. This can appear anywhere in a type.
ImplicitSelf
Inferred type of a self
or &self
argument in a method.
MacCall(P<MacCall>)
A macro in the type position.
CVarArgs
Placeholder for a va_list
.
Pat(P<Ty>, P<Pat>)
Pattern types like pattern_type!(u32 is 1..=)
, which is the same as NonZero<u32>
,
just as part of the type system.
Dummy
Sometimes we need a dummy value when no error has occurred.
Err(ErrorGuaranteed)
Placeholder for a kind that has failed to be defined.
Implementations§
Trait Implementations§
Source§impl<__D: SpanDecoder> Decodable<__D> for TyKind
impl<__D: SpanDecoder> Decodable<__D> for TyKind
Auto Trait Implementations§
impl DynSend for TyKind
impl DynSync for TyKind
impl Freeze for TyKind
impl !RefUnwindSafe for TyKind
impl !Send for TyKind
impl !Sync for TyKind
impl Unpin for TyKind
impl !UnwindSafe for TyKind
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> 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> 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> Pointable for T
impl<T> Pointable for 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,
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: 40 bytes
Size for each variant:
Slice
: 15 bytesArray
: 31 bytesPtr
: 23 bytesRef
: 39 bytesPinnedRef
: 39 bytesBareFn
: 15 bytesNever
: 0 bytesTup
: 15 bytesPath
: 39 bytesTraitObject
: 31 bytesImplTrait
: 31 bytesParen
: 15 bytesTypeof
: 23 bytesInfer
: 0 bytesImplicitSelf
: 0 bytesMacCall
: 15 bytesCVarArgs
: 0 bytesPat
: 23 bytesDummy
: 0 bytesErr
: 0 bytes