Import suggestion should filter out extensions in scope

[bishabosha]

Minimized code

Sometimes, there can be an error in applying an extension method, but the import suggestions can suggest something already in scope:

class A:                                                                                                         
  extension (s: String)
    def len: Int = s.length

object B extends A:
  def len(s: String): Int = s.length + 1

@main def Test =
  import B.len
  assert("abc".len == 4)

Output

10 |   assert("abc".len == 4)
   |          ^^^^^^^^^
   |value len is not a member of String, but could be made available as an extension method.
   |
   |The following import might fix the problem:
   |
   |  import B.len
   |

Expectation

Just say that "value len is not a member of String".

The member issue is due to len in B overriding an extension method but not having the extension flag, but this error is not reported until later

[julienrf]

Is this #8051 again? Or just a variant of it?

[odersky]

@julienrf Seems at least very similar. So you want to take a look?

[julienrf]

I am a bit too busy at the moment, I prefer that someone else takes it.

[julienrf]

The error message does not anymore suggest the import (tested with 3.3.0).