You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
According to the specification, `textDocument/prepareRename` returns
either a range or null. The latter indicates that the rename request is
not valid at this location.
Wrap ResponseResult TextDocumentPrepareRename into a Maybe to accomodate
this.
0 commit comments