1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
--- source: tests/integration/hover.rs expression: "server.hover(uri, 3, 8)?" --- { "contents": { "kind": "plaintext", "value": "Lemma 1 (Foo)" }, "range": { "start": { "line": 3, "character": 5 }, "end": { "line": 3, "character": 12 } } }