--- source: tests/it/hover.rs assertion_line: 87 expression: "server.hover(uri, 3, 8)?" --- { "contents": { "kind": "plaintext", "value": "Lemma 1 (Foo)" }, "range": { "start": { "line": 3, "character": 5 }, "end": { "line": 3, "character": 12 } } }