pub fn describe_self_at(
text: &str,
offset: usize,
expr_types: &[(Span, TyId)],
tys: &Types,
) -> Option<String>Expand description
v0.122 (editor-currency slice 1): a hover summary for self under the
cursor — self: <Type>. self is a reserved keyword (never an Ident, so
it does not flow through locals_nav), but a self use is a typed
expression, so its type is in expr_types at the token’s span. For a method
the type is the receiver’s name; for an agent handler the checker gives
self a synthetic record type __<Agent>Self (to resolve self.<key>),
which is un-synthesised here to <Agent>. None when the cursor is not on
the self keyword or its type is unknown (a broken buffer — expr_types is
clean-file-only, so this degrades to the keyword doc, never a wrong type).