{ "jsonrpc": "2.0", "method": "textDocument/publishDiagnostics", "params": { "diagnostics": [ { "message": "Enum variant B is never constructed.", "range": { "end": { "character": 5, "line": 31 }, "start": { "character": 4, "line": 31 } }, "severity": 2, "tags": [ 1 ] }, { "message": "Enum variant A is never constructed.", "range": { "end": { "character": 5, "line": 25 }, "start": { "character": 4, "line": 25 } }, "severity": 2, "tags": [ 1 ] }, { "message": "Enum variant B is never constructed.", "range": { "end": { "character": 5, "line": 26 }, "start": { "character": 4, "line": 26 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This declaration is never used.", "range": { "end": { "character": 18, "line": 13 }, "start": { "character": 6, "line": 13 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This declaration is never used.", "range": { "end": { "character": 24, "line": 14 }, "start": { "character": 6, "line": 14 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This struct is never used.", "range": { "end": { "character": 20, "line": 15 }, "start": { "character": 7, "line": 15 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This struct field is never accessed.", "range": { "end": { "character": 5, "line": 16 }, "start": { "character": 4, "line": 16 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This struct field is never accessed.", "range": { "end": { "character": 5, "line": 17 }, "start": { "character": 4, "line": 17 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This trait is never implemented.", "range": { "end": { "character": 17, "line": 20 }, "start": { "character": 6, "line": 20 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This enum is never used.", "range": { "end": { "character": 16, "line": 24 }, "start": { "character": 5, "line": 24 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This function is never called.", "range": { "end": { "character": 12, "line": 34 }, "start": { "character": 3, "line": 34 } }, "severity": 2, "tags": [ 1 ] }, { "message": "This function is never called.", "range": { "end": { "character": 12, "line": 42 }, "start": { "character": 3, "line": 42 } }, "severity": 2, "tags": [ 1 ] } ] } }