Struct FunctionSig 

pub struct FunctionSig {
    pub param_types: Vec<InferType>,
    pub return_type: InferType,
    pub is_generic: bool,
    pub param_modes: Vec<RirParamMode>,
    pub param_comptime: Vec<bool>,
    pub param_names: Vec<Spur>,
    pub return_type_sym: Spur,
}

Information about a function during constraint generation.

Uses InferType rather than Type so that array types are represented structurally (as InferType::Array { element, length }) rather than by opaque IDs. This allows uniform handling during inference.

Fields

param_types: Vec<InferType>

Parameter types (in order), as InferTypes for uniform handling.

return_type: InferType

Return type, as InferType for uniform handling.

is_generic: bool

Whether this is a generic function (has comptime type parameters). Generic functions skip type checking during constraint generation - they’ll be checked during specialization.

param_modes: Vec<RirParamMode>

Parameter modes (Normal, Inout, Borrow, Comptime).

param_comptime: Vec<bool>

Which parameters are comptime (declared with comptime keyword). This is separate from param_modes because comptime T: type sets is_comptime=true but mode=Normal.

param_names: Vec<Spur>

Parameter names, needed for type substitution in generic returns.

return_type_sym: Spur

The return type as a symbol (used for substitution lookup).

Trait Implementations

impl Clone for FunctionSig

fn clone(&self) -> FunctionSig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionSig

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

Formats the value using the given formatter.