Closed
Description
Currently for the following sample code, which requires a fuzzy completion:
object Main {
type MyType = List[Int]
def list : MT@@
}
dotty completions does not return a result.
It seems to be due to a filter .startsWith(prefix)
somewhere.
If would be cool, if the API allows for the passing of a preferred filter instead, so that results like MyType
which do not pass the existing filter, can also be retrieved when desired.
This has application in Scala 3 type completions in Metals.