Trait secured with a static_assert