Skip to content

passing preferred filter for getting symbol completions #17706

Closed
@vzmerr

Description

@vzmerr

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

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions