Type loopholes in C++: Standard level bug

In the talk, we will consider in detail the mechanisms for adding and changing the global state at the compilation time, as well as get acquainted with examples of the practical application of these techniques. We implement obtaining a list of types of aggregates, a constexpr counter and other features that cannot be implemented without loopholes. The talk is intended for listeners familiar with the templates and the basics of metaprogramming.