У меня есть подобная черта для описания структуры типа, если я знаю тип во время компиляции, конечно, я могу проверить все его ассоциированные константы, ассоциированные типы и статические функции-члены . Но дело в том, что в модуле определены сотни...