How to secure CRTP against providing wrong superclass? [duplicate]

Answer 1

You can static_assert that the argument derives from Base, but that's as far as you can go.