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

R>>>все бы ничего, но я не вижу где используется функция overloaded(Ts...) что бы по не что то выводить
R>>>в std::visitor передается сама структура overloaded с инициализацией лямбд

NB>>это не функция.
NB>>подробнее здесь. Explicitly specified Deduction Guide.

R>ну теперь если правильно понял это конструктор, а "->" не возвращаемое значение а правило для вывода типа в конструкторе

это правило. но конструктора нет.
после того как получен тип, скорее всего, просто работает aggregate initialization.

R>если так, то странно почему вообще не упростили без второй строчки, если вариадики есть уже в шаблоне типа, то само собой должен автоматом быть и конструктор для такого

наличие вариадика в шаблоне не означает существования конструктора для него.
собственно в примере этого конструктора и нет.
ну, по крайней мере я так думаю