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.
Solution