こんな事が許されるんですね…。 [ソース] template<typename T> void static_assert_(T){ static_assert(T()(), ""); } int main(){ constexpr int num = 10; auto x = []{ struct X{ constexpr int operator ()() const{ return num; } }; return X{}; }(); static_asse</typename>…