Ну хз, я тоже глянул и не оценил особо. Понятное дело что там часть - это осознанные подсказки, если их делать, то они всегда добавляют строки кода, но мне вот больше по душе такое:
Насколько я понимаю, происходит следующее. Вывод генерик аргумента для Seq.exists делается по её первому аргументу, а для него нужно выбрать перегрузку (которую исходя из имеющихся данных выбрать не получается).