Enum stable_mir::ty::TyKind

pub enum TyKind {
    RigidTy(RigidTy),
    Alias(AliasKind, AliasTy),
    Param(ParamTy),
    Bound(usize, BoundTy),
}

Variants

RigidTy(RigidTy)

Alias(AliasKind, AliasTy)

Param(ParamTy)

Bound(usize, BoundTy)

Implementations

impl TyKind

pub fn rigid(&self) -> Option<&RigidTy>

pub fn is_unit(&self) -> bool

pub fn is_bool(&self) -> bool

pub fn is_trait(&self) -> bool

pub fn is_enum(&self) -> bool

pub fn is_struct(&self) -> bool

pub fn is_union(&self) -> bool

pub fn is_fn(&self) -> bool

pub fn is_fn_ptr(&self) -> bool

pub fn trait_principal(&self) -> Option<Binder<ExistentialTraitRef>>

pub fn builtin_index(&self) -> Option<Ty>

Returns the type of ty[i] for builtin types.

pub fn builtin_deref(&self, explicit: bool) -> Option<TypeAndMut>

Returns the type and mutability of *ty for builtin types.

The parameter explicit indicates if this is an explicit dereference. Some types – notably unsafe ptrs – can only be dereferenced explicitly.

pub fn fn_sig(&self) -> Option<PolyFnSig>

Get the function signature for function like types (Fn, FnPtr, Closure, Coroutine)

Trait Implementations

impl Clone for TyKind

fn clone(&self) -> TyKind

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TyKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<RigidTy> for TyKind

fn from(value: RigidTy) -> Self

Converts to this type from the input type.

impl PartialEq for TyKind

fn eq(&self, other: &TyKind) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TyKind

impl StructuralEq for TyKind

impl StructuralPartialEq for TyKind

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: 96 bytes

Size for each variant:

• RigidTy: 96 bytes
• Alias: 48 bytes
• Param: 40 bytes
• Bound: 56 bytes