LSP suggests unavailable methods

[nventuro]

Aim

Given a struct with some impls, the LSP suggests autocompletion with fns that are not available in the current context.

Expected Behavior

Consider the following program

struct Foo<T> {
    t: T,
}

impl Foo<Field> {
    fn bar(_self: Self) -> Field {
        5
    }
}

impl Foo<u32> {
    fn bar(_self: Self) -> Field {
        5
    }

    fn baz(_self: Self) -> Field {
        6
    }
}

fn main() -> pub Field {
    let foo: Foo<Field> = Foo { t: 5 };
    foo.bar()
}

In the last line, only bar() can be called on foo.

Bug

The LSP suggests incorrect autocompletes:

Note that two versions of bar are suggested, one for each impl. However, the second one cannot be called since I have Foo<Field> and not Foo<u32>.

baz is also suggested as an alternative, but this is invalid: that method is not available on the type since it belongs to the other specialization.

Finally, t is suggested even though it is not public (and currently results in a warning).