Closed
Description
Currently, we filter completion candidates that match the prefix that the user has written. We should try to do fuzzy search.
Note for later: we should consider doing fuzzy search instead (like what we do in https://github.com/lampepfl/dotty/blob/master/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala#L338 (scalac implementation: scala/scala#6711))