In the following example the error should probably cover only Method range.

type T() =
    static member Instance = T()

    member _.Method(_: double) = ()
    member _.Method(_: int) = ()

T.Instance.Method("")

But it covers the whole expression where the method is used:

This behaviour is especially bad on bigger expressions, lambda arguments, and so on, as the error hides every other error and warning inside the expression.