nt
смысл примера в демонстрации неочевидности получающегося кода.
т.е. две ветки кода внутри лямбды, одна всегда срабатывает и кидает исключение, а другая никогда не срабатывает, но именно из нее выводится тип. а дальше представь, что это не юнит-тест из 5 строк, где все видно, а код использования какого-нибудь фреймворка, где все это будет глубоко закопано.