SI-8219 Avoid unpositioned ambiguous implicit error

And characterization of the curiously case of overloaded ==

Review by @lrytz