Go To Base/Implementation should be more flexible when signatures do not match

[tmat]

Currently Go To Base invoked on the override does not find the base method when their signatures do not match exactly.
It would be useful if the feature still worked, finding approximate match (e.g. by name) when they don't, similarly to FAR.

class C
{
    public virtual void F(bool x)
    {
    }
}

class D : C
{
    public override void F(int x)
    {
    }
}

[CyrusNajmabadi]

Note: we entirely use the compiler here. We go directly to the symbol model to answer this. If we wanted to support this it would be nice if it were through compiler error tolerance.

[CyrusNajmabadi]

We would take a targeted community pr here.