Enum TypeRequest 

pub enum TypeRequest {
    Aggregate {
        fields: Vec<AggregateField>,
    },
    StructPointer {
        size: usize,
        pointee: TypeId,
    },
    Array {
        elem: TypeId,
        count: usize,
    },
    List {
        elem: TypeId,
        bound: Option<usize>,
    },
}

A structural type a function pass needs published before it can rewrite its body. Requests are returned to the pipeline driver and created at the module barrier; the requesting pass is then rerun against the new publication.

This avoids temporary/sentinel TypeId values in IR and keeps assignment deterministic under parallel function passes.

Variants

Aggregate

Fields

fields: Vec<AggregateField>

StructPointer

Fields

size: usize

pointee: TypeId

Array

Fields

elem: TypeId

count: usize

List

Fields

elem: TypeId

bound: Option<usize>

Implementations

impl TypeRequest

pub fn aggregate(fields: Vec<AggregateField>) -> Self

pub const fn struct_pointer(size: usize, pointee: TypeId) -> Self

pub const fn array(elem: TypeId, count: usize) -> Self

pub const fn list(elem: TypeId, bound: Option<usize>) -> Self

Trait Implementations

impl Clone for TypeRequest

fn clone(&self) -> TypeRequest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeRequest

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

Formats the value using the given formatter.

impl Eq for TypeRequest

impl Hash for TypeRequest

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 TypeRequest

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypeRequest