More lsp changes

[HoshinoTented]

TODO:

• Fix potential threading problem of mutable states in AyaLanguageServer

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 83.59%. Comparing base (a219469) to head (545bdaf).
Report is 7 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #1313   +/-   ##
=========================================
  Coverage     83.59%   83.59%           
  Complexity     4136     4136           
=========================================
  Files           373      373           
  Lines         11989    11989           
  Branches       1410     1410           
=========================================
  Hits          10022    10022           
  Misses         1220     1220           
  Partials        747      747           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[ice1000]

I don't see how the TODOs can be fixed immediately, nor am I sure about what should we lock. Naïvely we would just turn all the methods who mutate libraries() synchronized, but I don't know if it's correct.