...

That check has already been performed when lfun::`==() gets called.

Does this mean, if lfun::`==() gets called the compared objects are actually NOT the same object? Otherwise the call would have been avoided?

Correct.

--- Ludger Merkens