It would be awesome if a constexpr version of hash_code() and
preferably name() would be included in the standard. Is there anything
more constexpr than type_info?
Sadly, yes; `type_info` is intimately tied up with RTTI, and many implementations implement type_info::operator== as a string-comparison of the names of the types, so that it'll keep working even in the presence of dynamically linked libraries (DLLs).
So your goal might not be literally impossible, but it won't be trivial, either.