How to understand the definition of “manifestly constant-evaluated”?

Question

P0595 introduced the std::is_constant_evaluated() function. The paper discusses how there are some situations where the containing expression is a constant expr