Cómo resolver el problema de "la lectura de la variable 'a' no constexpr no está permitida en una expresión constante" con boost.hana

Estoy usando c ++ 17 con Boost.hana para escribir algunos programas de metaprogramación. Un problema que me atrapó es qué tipo de expresión se puede usar en un contexto constexpr como static_assert. Aquí hay un ejemplo: #include <boost/hana.hpp> using namespace