Struct MethodEntry 

pub struct MethodEntry {
    pub receiver: TypePattern,
    pub name: &'static str,
    pub params: Vec<TypePattern>,
    pub result: TypePattern,
    pub purity: Purity,
    pub lowering: MethodLowering,
    pub doc: &'static str,
}

One row of the method catalog (§16.2 fields).

Fields

receiver: TypePattern

The receiver shape the method is defined on, e.g. Vec[T].

name: &'static str

The method name, e.g. push.

params: Vec<TypePattern>

Parameter type patterns, positional.

result: TypePattern

Result type pattern.

purity: Purity

Whether the method is pure.

lowering: MethodLowering

How the method lowers.

doc: &'static str

One-line documentation, surfaced in hover.

Implementations

impl MethodEntry

pub fn arity(&self) -> usize

The arity (number of explicit parameters, excluding the receiver).

pub fn allocates(&self) -> bool

Whether calling this method may allocate, and so whether its call site is a GC safepoint.

Derived from the ABI manifest, not restated per row: a row that carried its own answer could disagree with the wrapper it lowers to. An intrinsic has no wrapper — the MIR lowering it expands to carries its own per-instruction effects.

pub fn can_fault(&self) -> bool

Whether calling this method may raise a runtime fault (§9.1), and so whether its call site needs a fault check after it.

Derived, for the same reason as MethodEntry::allocates: a per-row field would be a second statement of the manifest’s answer, free to drift — a bitset_insert row claiming it cannot fault beside a praxis_bitset_insert that raises InvalidSize for a member outside BitIndex’s range. MIR’s own Inst::can_fault reads the same manifest row, so the check lowering emits and this answer agree by construction.

pub fn bounds(&self) -> Vec<(&'static str, Bound)>

What each of this entry’s type variables must be, by name.

A bound is a fact about the variable, not about the position it is written in, so this sweeps the receiver, the parameters and the result and reports each name once. That is why Vec[T].sum() can declare its Int requirement on the receiver’s element and have it apply — there is nowhere else in the row for it to live.

A name that declares the same bound twice is one requirement. MethodCatalogBuilder::finish refuses two different ones, so the dedup here cannot hide a contradiction.

Trait Implementations

impl Clone for MethodEntry

fn clone(&self) -> MethodEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MethodEntry

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

Formats the value using the given formatter.