Module hints
Expand description
v0.27 (ADR 0056): the inlay-hint sink.
A curated set of inferred-type hints harvested from the checker as it
computes each binding’s type — let / let <- bindings and lambda
parameters whose annotation is absent. The sink mirrors RefSink
(index.rs): it is a &mut parameter threaded through the checker
entry points, NOT part of the Ok(TypedCommons) payload check_record
drops on error — so hints persist through a transient type error at
every site the checker still reaches.
Labels are pre-rendered (": " + Ty::display()) so no Ty leaks
through the public surface; spans are bare byte offsets into the file
the sink was attributed to via HintSink::enter_file.
Structs§
- Hint
- One inlay hint: a pre-rendered label at a span, plus its
HintKind. - Hint
Sink - Records inferred-type hints per file. A fresh sink records nothing
until
enter_fileattributes it.
Enums§
- Hint
Kind - v0.39 (ADR 0072): the inlay-hint kind, which drives the LSP rendering —
anchor side,
InlayHintKind, and padding.
Type Aliases§
- File
Hints - Project-relative source path → that file’s hints, span-ordered.