bug#37820: 25.2; xref using etags incorrect case fold during completion

[Dmitry Gutov]

On 19.10.2019 9:53, Eli Zaretskii wrote:
> Isn't that a contradiction of sorts?  How can we know which of these
> two should have precedence?

I think completion-ignore-case should have precedence in this example 
because the user called an xref command.

Whether tags are used, or something else, is an implementation detail. 
Behavior should be as similar as possible.