Struct MethodInfo 

pub struct MethodInfo {
    pub struct_type: Type,
    pub has_self: bool,
    pub receiver: ReceiverMode,
    pub params: ParamRange,
    pub return_type: Type,
    pub body: InstRef,
    pub span: Span,
    pub is_unchecked: bool,
    pub is_generic: bool,
    pub return_type_sym: Spur,
    pub is_pub: bool,
    pub file_id: FileId,
}

Information about a method in an impl block.

Note: Captured comptime values for anonymous struct methods are stored at the struct level in Sema::anon_struct_captured_values, not per-method. This ensures that different instantiations with different captured values create different types.

Fields

struct_type: Type

The struct type this method belongs to

has_self: bool

Whether this is a method (has self) or associated function (no self)

receiver: ReceiverMode

Receiver mode (self, inout self, borrow self). Meaningful only when has_self is true; ByValue is used as a placeholder for associated functions (ADR-0060).

params: ParamRange

Parameter data (names, types, modes, comptime flags) stored in arena. Access via arena.names(params), arena.types(params), etc. Note: This excludes self if present - only explicit parameters.

return_type: Type

Return type

body: InstRef

The RIR instruction ref for the method body

span: Span

Span of the method declaration

is_unchecked: bool

Whether this method is marked unchecked (can only be called from checked blocks)

is_generic: bool

True if this method has its own comptime type parameters (e.g., fn apply(self, comptime F: type, f: F) -> T). Such methods are generic at the method level (independent of the enclosing function’s comptime params) and their bodies are only analyzed at specialization.

return_type_sym: Spur

Return-type symbol as written in source. Preserved (as well as the resolved return_type above) so that generic-method specialization can substitute method-level comptime type params in the return type.

is_pub: bool

ADR-0073: whether this method is pub. Cross-module callers need is_pub to be true; intra-module callers always succeed.

file_id: FileId

ADR-0073: file the method was declared in (for visibility checks).

Trait Implementations

impl Clone for MethodInfo

fn clone(&self) -> MethodInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MethodInfo

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

Formats the value using the given formatter.

impl Copy for MethodInfo