Почему функции constexpr не могут использовать функции consteval, в то время как вы можете создавать объекты constexpr из функций consteval?

У вас могут быть объекты constexpr перед consteval, но вы не можете использовать consteval внутри constexpr.

Почему?

Я думал, что consteval должен быть своего рода узким constexpr.

Пожалуйста, помогите мне разобраться в этом дизайне.

constexpr int constexpr_sqr(int n) { return n*n; }
consteval int consteval_sqr(int n) { return n*n; }
constexpr int constexpr_sqr2(int n) { 
  // not allowed
  // return consteval_sqr(n);
   
  // not allowed
  // constexpr imm = consteval_sqr(n);
  // return imm;

  return constexpr_sqr(n);
}
int main() {
  // while can do this
  constexpr auto imm = consteval_sqr(999);
}

[Прямой]