Ну как бы понятно, что типы лямбд явно не прописаны, но хотя бы есть ли гарантия, что две одинаковые лямбды []{} в соседних строчках будут иметь один и тот же тип??

Желательно со ссылками на писание/