Exercises
The Standard Library and Metaprogramming

In this program on the accompanying slide the static_assert holds.

In main, enforce a couple of other template instantiations that will cause the static_assert to fail.