Struct SpecializationKey 

pub struct SpecializationKey {
    pub base_name: Spur,
    pub type_args: Vec<Type>,
    pub value_args: Vec<ConstValue>,
}

A key for a specialized function: (base_function_name, type_arguments).

Fields

base_name: Spur

Base function name (e.g., “identity”)

type_args: Vec<Type>

Type arguments (e.g., Type::I32)

value_args: Vec<ConstValue>

Comptime value arguments captured at the call site (e.g. [Integer(7)] for check_n(7) where the parameter is comptime n: i32). Two calls with the same type args but different value args produce different specializations so per-call comptime if/@compile_error checks fire only for the values they apply to.

Trait Implementations

impl Clone for SpecializationKey

fn clone(&self) -> SpecializationKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpecializationKey

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

Formats the value using the given formatter.

impl Hash for SpecializationKey

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 SpecializationKey

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

impl StructuralPartialEq for SpecializationKey