Katarzyna Marek

Incorrect lifting of local definitions

1

# Steps to Reproduce ``` infixl 6 .+. infixl 7 .*. data Re = O | I | RChar Char | (.+.) Re Re | (.*.) Re Re | (.star)...

[bug] Idris rules out a valid case.

2

# Steps to Reproduce ``` import Data.List.Elem %default total mapMaybeList : (s -> s') -> List (Maybe s) -> List (Maybe s') mapMaybeList f xs = map (map f) xs...

Sbt doesn't propagate `SBT_OPTS` to the generated bsp config

6

## steps 1. Set `-Dsbt.boot.directory=` in `SBT_OPTS` env variable, 2. run `sbt bspConfig`, 3. run the args generated in the config `sbt.json`, which in my case look like this: `[...]/java...

https://github.com/scalameta/metals/pull/6074 https://github.com/scalameta/metals/pull/6129

resolves: https://github.com/scalameta/metals/issues/5893

resolves: https://github.com/scalameta/metals-feature-requests/issues/374

improvement: use pc for finding references of local symbols and when semanticdb is missing

3

semanticdb only: ```time: found 459 references to symbol 'scala/Boolean#`&&`().' in 0.25s``` bloom filters + pc (that's a bit nonsensical, since bloom filters are build based on semanticdb): ```time: found 429...

Outline compiler

1

connected to: https://github.com/scalameta/metals/issues/917

### Describe the bug ```scala object A { Option(1) match { case mai@@ } } ``` in Scala 3 shows `main scala` as a completion ### Expected behavior shouldn't show...