Здравствуйте, m2user, Вы писали:

M>Вот только это тоже незаконченное решение. Ты не знаешь, под каким аргументом (x или у) в Compare придет null или default(T).

Это законченное решение.
Есть конечно вероятность, что кто-то когда-то поменяет реализацию бинарного поиска и в x положит искомый элемент, тогда перестанет работать и нужно будет вызывать _comparer(y).
Таков удел костылей, они всегда несут с собой подобные риски.