Enum MirTypeExpr

pub enum MirTypeExpr {
    Named(String),
    Pointer {
        item: Box<MirTypeExpr>,
    },
    Array {
        item: Box<MirTypeExpr>,
        len: usize,
    },
    Slice {
        item: Box<MirTypeExpr>,
    },
    Tuple(Vec<MirTypeExpr>),
    Apply {
        callee: String,
        args: Vec<MirTypeExpr>,
    },
}

Type syntax retained in MIR for emitted aggregate declarations.

Variants

Named(String)

Named type constructor.

Pointer

Pointer type constructor.

Fields

item: Box<MirTypeExpr>

Type of the pointed-to value.

Array

Fixed-size array type constructor.

Fields

item: Box<MirTypeExpr>

Type of the pointed-to value.

len: usize

Compile-time array length.

Slice

Borrowed slice type constructor.

Fields

item: Box<MirTypeExpr>

Type of the pointed-to value.

Tuple(Vec<MirTypeExpr>)

Tuple type constructor.

Apply

Type application with explicit arguments.

Fields

callee: String

Type constructor being applied.

args: Vec<MirTypeExpr>

Explicit type arguments to the constructor.

Trait Implementations

impl Clone for MirTypeExpr

fn clone(&self) -> MirTypeExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MirTypeExpr

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

Formats the value using the given formatter.

impl PartialEq for MirTypeExpr

fn eq(&self, other: &MirTypeExpr) -> 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 MirTypeExpr

impl StructuralPartialEq for MirTypeExpr