Guillaume Martres

Right now I don't think there's any, but eventually the dotty plugin should provide syntax highlighting.

is this a JLine bug ?

Can you reproduce this using the Scala 2.13.3 repl too? If so, it's a JLine bug and should be filed at https://github.com/jline/jline3/

Does it work when using the new Windows Terminal (https://github.com/microsoft/terminal) ?

I can reproduce this even if I quite code, kill all Java processes, then restart code. So it seems Metals itself is deciding to run Bloop using Java 8.

Ah indeed, ~/.bloop contained a bloop.json that set javaHome to java 8 as well as a `created_by_metals.lock` file, I deleted the directory, restarted metals, and this time the ~/.bloop/bloop.json it...

IMO, if the java version which is the default on my system (so on the PATH or in JAVA_HOME) is recent enough, metals and bloop should just use that and...

I don't use jenv, the jvm was installed using apt in ubuntu inside wsl.

Thanks @kasiaMarek !

The following still fails with this PR: ```scala class dummy(b: Boolean) extends annotation.StaticAnnotation with annotation.RefiningAnnotation object Test: def foo(elem: Int, bla: Int @dummy(elem == 0)) = bla ``` ```scala --...