They've provided a template-based implementation of something similar to static_assert, and I was actually supposed to guess what it's doing and how it's evaluated by a C++ compiler. It should not be a problem if you know about template specializations.