Struct HandlerBodyCheck 

pub struct HandlerBodyCheck<'a> {

    pub body: &'a Block,
    pub return_type: &'a TypeRef,
    pub params: &'a [Param],
    pub capabilities: HashMap<String, CapabilityInfo>,
    pub declared_capabilities: HashMap<String, CapabilityInfo>,
    pub given: &'a [CapRef],
    pub given_anchor: Option<Span>,
    pub report_unused: bool,
    pub agent_state_ty: Option<TyId>,
    pub agent_self_scope: Option<HashMap<String, TyId>>,
    pub actor_binding: Option<(String, TyId)>,
    pub store_fields: HashMap<String, StoreField>,
    pub borrowed_held: HashSet<String>,
}

#522: everything check_handler_body needs to know about the handler — signature, capability scope, agent state, and held bindings. Replaces what was 17 positional parameters (of a 24-parameter signature); Self::new fills the agent/actor/store extras with empties, so a simple site (provider op, test body) sets only the fields it actually uses.

Fields

body: &'a Block

return_type: &'a TypeRef

params: &'a [Param]

capabilities: HashMap<String, CapabilityInfo>

The capabilities the body may call (the handler’s resolved given).

declared_capabilities: HashMap<String, CapabilityInfo>

Every declared capability, for “declared but not given” diagnostics.

given: &'a [CapRef]

given_anchor: Option<Span>

report_unused: bool

agent_state_ty: Option<TyId>

An agent handler’s synthetic state-record type, when one is in scope.

agent_self_scope: Option<HashMap<String, TyId>>

actor_binding: Option<(String, TyId)>

v0.45/v0.52: the by <binder>: <Actor(s)> binding — the binder name and its fully-formed sealed type: Ty::Actor(identity) for a single actor (so binder.identity type-checks), or Ty::ActorSum(members) for a sum (so the body matches on it). None for handlers without a by binder.

store_fields: HashMap<String, StoreField>

The agent’s store fields, by name (finding #36 — see StoreField), so the := write form, <field>.<op>(…), and the map query accessors can resolve their target. Empty for service/test bodies and state { } agents.

borrowed_held: HashSet<String>

v0.106 (slice 3b-iii): held params that are borrowed, not owned — the firing connection of a from websocket on message/on close. Borrowed bindings admit non-consuming ops (send) but carry no disposal obligation. Empty for every other handler (including on open, whose connection is owned).

Implementations

impl<'a> HandlerBodyCheck<'a>

pub fn new( body: &'a Block, return_type: &'a TypeRef, params: &'a [Param], given: &'a [CapRef], ) -> Self

A check of body against return_type with everything optional empty: no capabilities, no agent state, no actor binding, no store fields.