Enum Callee 

pub enum Callee {
    Fn(Arc<FnDecl>),
    Value(String),
    Ctor {
        sum: Arc<TypeDecl>,
        tag: String,
    },
    Refine(Arc<TypeDecl>),
    Unsafe(Arc<TypeDecl>),
    Static(Arc<FnDecl>),
    Method(Arc<FnDecl>),
    Kernel {
        recv: TyId,
        op: String,
    },
    Intrinsic {
        ns: &'static str,
        op: String,
    },
    Capability {
        cap: String,
        op: String,
    },
    CrossCap {
        unit: String,
        cap: String,
        op: String,
    },
    Cross {
        unit: String,
        service: String,
    },
    AgentInit(String),
    Agent {
        agent: String,
        handler: String,
    },
    TestService {
        service: String,
        address: String,
    },
    Store {
        field: String,
        op: String,
    },
    Query {
        field: String,
        op: String,
        role: QueryRole,
    },
}

P6.0 (design/tracks/the-ir.md §6, #1139): a resolved classification of a call-shaped expression, recorded once by the checker’s own dispatch (checker::calls) rather than re-derived by each later consumer — closing R6.10’s duplicated-classification gap between bynk-check and bynk-emit’s lower_method_call/lower_call.

Adapted to the identity handles this checker already has (Decision A, ADR 0333, the-ir-callee-in-bynk-check) rather than the reference document’s DefId/LocalId/VariantId/OpId arena — none of which exists here, since the Resolve phase that would mint them was never built (project-model.md §3.4 deferred it to phase 8). Arc<FnDecl>/Arc<TypeDecl> are already-cheap resolved handles (ResolvedCommons::fns/types); every other variant’s identity is a name, exactly as the checker already keys capabilities, store fields, units, and agents.

Recorded at each dispatch decision as soon as it is known — including on an error sub-branch (an arity mismatch, an undeclared capability) — since the kind of call is fixed by dispatch, not by whether it went on to type-check cleanly.

Variants

Fn(Arc<FnDecl>)

A free function call.

Value(String)

Applying a function-typed local or parameter (f(x) where f is in scope, not declared). No stable id exists for a local beyond its name — the reference’s LocalId presumes the same Resolve phase Decision A declines to build here.

Ctor

Sum-variant construction, bare (Some(x)) or qualified (Opt.Some(x)).

Fields

sum: Arc<TypeDecl>

tag: String

Refine(Arc<TypeDecl>)

T.of(value) — the refined/opaque runtime constructor.

Unsafe(Arc<TypeDecl>)

T.unsafe(value) — the opaque constructor, defining-unit only.

Static(Arc<FnDecl>)

A user-declared static method (Type.method(...)).

Method(Arc<FnDecl>)

A user-declared instance method (UFCS), generic or not.

Kernel

A built-in method on a value — the collection/query/stream/ connection/numeric/duration/instant/bytes/string/option/result/ effect kernels, including the refined-receiver fallback (ADR 0168). recv is the receiver’s own checked type; no KernelOp enum exists yet in this crate (R6.11), so the operation is named, not typed.

Fields

recv: TyId

op: String

Intrinsic

A built-in static constructor with no declaring type — List.empty, Map.empty, Int.parse/Float.parse, Duration.millis, Instant.fromEpochMillis, Bytes.fromUtf8/fromBase64/empty, Json.decode/encode, Stream.of.

Fields

ns: &'static str

op: String

Capability

A same-context capability operation call (Cap.op(...)).

Fields

cap: String

op: String

CrossCap

A cross-context capability operation call (B.Cap.op(...) / Alias.Cap.op(...)).

Fields

unit: String

cap: String

op: String

Cross

A cross-context service call (B.service(...) / Alias.service(...)).

Fields

unit: String

service: String

AgentInit(String)

AgentName(key) — agent instance construction. No slot exists for this in the reference’s own Callee taxonomy (Part 6.5 only names handler dispatch); added here since this slice covers every call shape check_call dispatches, not only the ones the reference anticipated.

Agent

agent.handler(args) — agent handler dispatch.

Fields

agent: String

handler: String

TestService

A test-body service address (svc.call/svc.<VERB>("/path", …)/ svc.schedule(...)/svc.message(...)). check_test_service_address always returns None by design (the runner recovers the outcome type at runtime) — this classification exists purely for a later consumer (e.g. go-to-definition on the address), not typing.

Fields

service: String

address: String

Store

An effectful <field>.<op>(…) storage operation on a store Map/Set/Cache/Log/Cell field — R6.5’s own named target (P6.2, #1143): a mutation detector keyed on this variant, not a receiver’s bare name, cannot miss a mutation reached through a non-Ident receiver or false-negative on a shadowed local, the defect class block_writes_state’s mutating_op still carries. field is the store field’s own name (no FieldId arena exists — same adaptation check_store_*_op’s own lookups already use). Note this is recorded outside calls.rs’s six functions — the store-field ladder lives directly in checker.rs’s own type_of, never reaching any of them — extending P6.0’s own recording surface past the boundary its “Done when” deliberately drew.

Fields

field: String

op: String

Query

A query builder/terminal call that lifts a bare store Map/Log field into a lazy Query[V] (is_query_op’s own gate, checker.rs’s type_of) — R6.12’s own named target (P6.2, #1143). field names the store field being lifted — without it, a chain rooted at this call (orders.filter(p).count()) would carry no identity for orders anywhere in the classification, the same information loss R6.5 exists to close on the write side. role is read back from the checker’s own typing decision for this exact call (Ty::Query(_) result ⇒ Builder, anything else ⇒ Terminal), not a second name-list classifier alongside is_query_op’s. A chained builder/terminal call on an already-Query-typed receiver (.filter(p).count()’s own .count()) is not this variant — it reaches check_method_call’s ordinary kernel dispatch and is Callee::Kernel already (P6.0); Query here exists only because the lift call’s own outer expression never passes through any of calls.rs’s six functions to get one.

Fields

field: String

op: String

role: QueryRole

Trait Implementations

impl Clone for Callee

fn clone(&self) -> Callee

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Callee

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

Formats the value using the given formatter.