Skip to main content

describe_store_op_at

Function describe_store_op_at 

Source
pub fn describe_store_op_at(
    source: &str,
    offset: usize,
    locals: &[LocalBinding],
) -> Option<String>
Expand description

#611: hover for a store field’s operation — the <op> of a <field>.<op>(…) call on an agent’s store field (items.put(id, item)). Store operations are checked but never indexed and are not value-receiver methods, so qualified_callee_at (name-receivers only) never reaches them and they resolved nowhere. Renders the operation’s signature from the enumerable bynk_check::store_ops registry — generic in the kind’s key/value/element type — over the field’s declared kind, which grounds it.

locals guards the receiver the way the checker’s dispatch does: a store op is a bare ident receiver that is not in the value scope, so a local shadowing the field name makes this an ordinary value method, not a store op. None when the cursor is not on a store operation of the enclosing agent.