Katarzyna Marek

I'm not sure I understand the question... It is possible to call this function with `Here` just like did. Idris should allow for (and require) one of such possibilities: `mapMaybeListSpec...

I created a "guard" that checks if the regex passed to `disjoint matches` is consuming. This is to make sure the function makes progress and terminates. The function lacks actual...

I think https://github.com/scalameta/metals/commit/6ccc512d53f231e906b9fb99a74cc774efd64fc9 already addresses the issue here.

After https://github.com/scalameta/metals/pull/4922, the details are `List[Int]#iterator.GroupedIterator[B]. The objective of this task now changes to inspecting why it was behaving incorrectly in the fist place and why it changed.

### IN THE OLD VERSION: The problem in created in `substituteTypeVars` (`postProcess` phase in `Completions`). If the head of the path is a select we substitute the type of completion...

Since this works now, and Metals doesn't even use SemanticDB for decorations anymore, so a test wouldn't make much sense, I'm just closing this.

Deprecate JDK 8 to do: - [x] download JDK for Metals when needed (client side) (https://github.com/scalameta/metals-vscode/pull/1452) - [x] use user config java home for build server (or in case of...

Closing this as completed.

Your project seems to use sbt version `0.13.16`, which is not supported by metals, and importing the build will not work. If you upgrade your sbt version and used Scala...

This will get automatically resolved if we add single files support https://github.com/scalameta/metals/pull/5531.