-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Closed
Labels
area:presentation-compilerRelated to the presentation compiler module used by Metals and possibly other toolsRelated to the presentation compiler module used by Metals and possibly other toolsitype:enhancement
Milestone
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.
Metadata
Metadata
Assignees
Labels
area:presentation-compilerRelated to the presentation compiler module used by Metals and possibly other toolsRelated to the presentation compiler module used by Metals and possibly other toolsitype:enhancement