Хотя я бы не стал делать constexpr обработку исключений. Пусть фейлится сборка лучше. По сути раз у нас нет взаимодействия с внешним миром, то исключения будут только как индикатор ошибки. А в таком случае пусть падает сборка, ато так можно и static_assert захотеть обрабатывать.