Enum Ty 

pub enum Ty {
    Bool,
    Char,
    Int(IntTy),
    Uint(UintTy),
    Float(FloatTy),
    Ref {
        mutable: bool,
        inner: Box<Ty>,
    },
    RawPtr {
        mutable: bool,
        inner: Box<Ty>,
    },
    Array {
        element: Box<Ty>,
        size: u64,
    },
    Slice {
        element: Box<Ty>,
    },
    Tuple(Vec<Ty>),
    FnPtr {
        params: Vec<Ty>,
        return_ty: Box<Ty>,
    },
    Named {
        def_id: HirId,
        name: Symbol,
    },
    Generic {
        def_id: HirId,
        name: Symbol,
        args: Vec<Ty>,
    },
    TypeParam {
        index: u32,
        name: Symbol,
    },
    Unit,
    Never,
    TraitObject {
        trait_name: Symbol,
    },
    Task {
        result_ty: Box<Ty>,
    },
    TaskGroup,
    Channel {
        element_ty: Box<Ty>,
    },
    Sender {
        element_ty: Box<Ty>,
    },
    Receiver {
        element_ty: Box<Ty>,
    },
    Closure {
        id: u32,
        params: Vec<Ty>,
        return_ty: Box<Ty>,
        capture_tys: Vec<Ty>,
    },
    Union {
        variants: Vec<Ty>,
    },
    NDArray {
        element: Box<Ty>,
        rank: u32,
    },
    NDView {
        element: Box<Ty>,
        rank: u32,
    },
    CowArray {
        element: Box<Ty>,
        rank: u32,
    },
    DynArray {
        element: Box<Ty>,
    },
    SmallVec {
        element: Box<Ty>,
        capacity: u32,
    },
    Simd {
        element: Box<Ty>,
        lanes: u32,
    },
}

Type representation in MIR (simplified from HIR)

Variants

Bool

Boolean

Char

Character

Int(IntTy)

Integer (signed)

Uint(UintTy)

Integer (unsigned)

Float(FloatTy)

Floating point

Ref

Reference

Fields

mutable: bool

inner: Box<Ty>

RawPtr

Raw pointer

Fields

mutable: bool

inner: Box<Ty>

Array

Array [T; N]

Fields

element: Box<Ty>

size: u64

Slice

Slice [T]

Fields

element: Box<Ty>

Tuple(Vec<Ty>)

Tuple

FnPtr

Function pointer

Fields

params: Vec<Ty>

return_ty: Box<Ty>

Named

Named type (struct, enum)

Fields

def_id: HirId

name: Symbol

Generic

Generic type instantiation (e.g., Vec)

Fields

def_id: HirId

name: Symbol

args: Vec<Ty>

TypeParam

Type parameter reference (e.g., T in fn foo)

Fields

index: u32

name: Symbol

Unit

Unit ()

Never

Never !

TraitObject

Trait object type (dyn Trait)

Fields

trait_name: Symbol

Task

Task handle - represents a spawned task that will produce a value

Fields

result_ty: Box<Ty>

TaskGroup

Task group handle - for structured concurrency

Channel

Channel - bidirectional communication channel

Fields

element_ty: Box<Ty>

Sender

Channel sender half

Fields

element_ty: Box<Ty>

Receiver

Channel receiver half

Fields

element_ty: Box<Ty>

Closure

Closure type (id, params, return, captures)

Fields

id: u32

params: Vec<Ty>

return_ty: Box<Ty>

capture_tys: Vec<Ty>

Union

Union type: i64 | f64 | String — tagged discriminated union

Fields

variants: Vec<Ty>

NDArray

Owned N-dimensional array: NDArray[T; N] — heap-allocated contiguous data

Fields

element: Box<Ty>

rank: u32

NDView

Borrowed N-dimensional view: NDView[T; N] — zero-copy slice into an NDArray

Fields

element: Box<Ty>

rank: u32

CowArray

Copy-on-write array: CowArray[T; N] — shared data, cloned on mutation

Fields

element: Box<Ty>

rank: u32

DynArray

Dynamic-rank array: DynArray[T] — rank determined at runtime

Fields

element: Box<Ty>

SmallVec

Small vector with inline storage: SmallVec[T; N]

Fields

element: Box<Ty>

capacity: u32

Simd

SIMD vector type: Simd[T; N]

Fields

element: Box<Ty>

lanes: u32

Implementations

impl Ty

pub fn from_hir(hir_ty: &Ty) -> Self

Convert from HIR type

pub fn is_copy(&self) -> bool

Check if this is a Copy type

pub fn is_zst(&self) -> bool

Check if this is a zero-sized type

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl Hash for Ty

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Ty

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Ty

impl StructuralPartialEq for Ty