pub fn range_covers(range: Range, position: Position) -> boolExpand description
Render an LSP HoverContents payload to a markdown string the
renderer’s hover popup pipeline can highlight via the markdown
grammar.
MarkedString::String(s) keeps s verbatim.
MarkedString::LanguageString { language, value } wraps
value in a fenced code block tagged with language so the
markdown injection picks it up. MarkupContent arrives pre-
rendered as either markdown or plaintext (we treat plaintext
as already-good markdown). Array joins each element with two
newlines so blocks separate cleanly.
4.5.c: does the given range cover the LSP position?
Inclusive on both ends (matches VSCode’s click-through
semantics on a link’s rightmost char). Used by gx to find
the first cached documentLink under the cursor. Phase
5.8.AD.2.