Can we have "did you mean..." for top-level names rather than just methods

[lihaoyi]

Compiler version

3.3.1

Minimized example

Mis-typing a method results in a nice suggestion, presumably using Levenshtein distance or something:

But mis-typing a free variable name doesn't:

Could we make mis-typed top level names give nice suggestions too? Presumably we already know everything that is in scope, and can do a Levenshtein distance comparison to find any that look close enough to suggest

[som-snytt]

The related converse issue at #17067

Scala 2 reminder it's not just top-level scala/bug#12023

scala> val hello = "hi"; hellx
-- [E006] Not Found Error: ---------------------------------------------------------------------------------------------
1 |val hello = "hi"; hellx
  |                  ^^^^^
  |                  Not found: hellx
  |
  | longer explanation available when compiling with `-explain`
1 error found

scala> val hello = "hi"; this.hellx
-- [E008] Not Found Error: ---------------------------------------------------------------------------------------------
1 |val hello = "hi"; this.hellx
  |                  ^^^^^^^^^^
  |                value hellx is not a member of object rs$line$1 - did you mean (rs$line$1 : rs$line$1.type).hello?
1 error found