Я забыл написать на прошлой неделе, что всё-таки успел подать заявку на C++Russia этого года с увлекательным докладом о семантических процессах, уже третьим в серии. На этот раз будем говорить про вывод типов (в сочетании с перегрузкой). В связи с этим могу предложить аудитории небольшую проблемку. Да я знаю что не пятница, но в пятницу я буду в самолёте в Йошкар-Олу, где я буду в субботу читать лекцию по современным методам рекламации памяти в iSpring. Так что давайте скажем, что среда это маленькая пятница. template <auto f = []{}> struct S {}; S x, y; static_assert(std::is_same_v<decltype(x), decltype(y)>); https://godbolt.org/z/qEehP4aMv Clang отказывается компилировать declaration. GCC компилирует, но проваливает static_assert. На чьей вы стороне? UPD: ожидаются ссылки на стандарт. #questions