Почему параметры шаблона не считаются постоянными выражениями (для consteval)?

Я хотел бы использовать функции consteval для выполнения вычислений над параметрами шаблона во время компиляции, чтобы мои операции приводили к немедленным результатам, которые не влекут за собой никаких потерь производительности. Например:

// Changing this to constexpr will cause the function
// to be invoked at runtime.
consteval int abs(int x) {
    return x < 0 ? -x : x;
}

template <int N>
struct Test {
    bool isValid(int y) {
        return y < abs(N); // Error.
    }
};

Я использовал consteval, чтобы abs(N) было заменено немедленным значением, а не вызывать функцию во время выполнения (как это произошло бы, если бы abs() было constexpr). Например, я думаю, что внутри тела Test<7>::isValid()abs(7) разрешается до 7 и его не нужно вычислять во время выполнения. Однако этот код выдает следующую ошибку:

Вызов функции consteval 'abs' не является постоянным выражением... подвыражение недопустимо в константном выражении [invalid_consteval_call]

(проверено в clang 17.0.6). Эта ошибка по-прежнему возникает, если вы пытаетесь определить переменную static constexpr на основе N:

// Changing this to constexpr works though!
consteval int abs(int x) {
    return x < 0 ? -x : x;
}

template <int N>
struct Test {
    static constexpr int ABS_N = abs(N); // Error

    bool isValid(int y) {
        return y < ABS_N;
    }
};

Самое смешное, что если вы измените abs() с consteval на constexpr в этой версии, то сгенерированный код будет использовать немедленный код, как я и хотел! С другой стороны, шаблоны можно использовать с consteval для достижения той же цели:

template <int X>
consteval int abs() {
    return X < 0 ? -X : X;
}

template <int N>
struct Test {
    bool isValid(int y) {
        return y < abs<N>();
    }
}

Я также заметил, что использование переменной static constexpr вместо параметра шаблона работает, хотя здесь довольно легко понять, почему:

struct Test {
    static constexpr int N = 7;

    bool isValid(int y) {
        return y < abs(N);
    }
}

Почему параметры шаблона нельзя передавать в функции consteval?