[Feature Request] Have the LSP filter the auto completion list based on conditional conformance

[soraros]

Review Mojo's priorities

• I have read the roadmap and priorities and I believe this request falls within the priorities.

What is your request?

fn main():
    var s = S[String]()
    s.
    # ^: Don't how f here in intellisense 

@value
struct S[T: CollectionElement]:
    fn f(self: S[Int]):
        pass

What is your motivation for this change?

It's rather pointless to suggest code that won't type check. It's also seen in other languages like Swift and Rust.

Any other details?

N/A.

[walter-erquinigo]

Nice catch. I'll put it in the roadmap for the LSP