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.