{"version": 2,
 "uri": "file:///unterminatedDocComment.lean",
 "isIncremental": false,
 "diagnostics": []}