Если же этот тип планируется использовать для валидации других аннотаций, то увы. Это запрещено спецификацией со словами "аннотации могут содержать только простые выражения, например, никаких вызовов функций)
Но в принципе, никто не мешает сесть и написать плагин для майпая, который будет вычислять функции. Правда надо как-то будет уметь отличать constexpr функции от остальных