Wie man das Problem "Lesen der Nicht-Constexpr-Variablen 'a' ist in einem konstanten Ausdruck nicht erlaubt" mit boost.hana löst

Ich verwende c ++ 17 mit Boost.hana, um einige Metaprogrammierprogramme zu schreiben. Ein Problem, das mir aufgefallen ist, ist, welche Art von Ausdruck in einem constexpr-Kontext wie static_assert verwendet werden kann. Hier ist ein Beispiel: #include <boost/hana.hpp> using namespace...