[Pitch] Compile-Time Constant Values

[Alejandro_Martinez]

@stackotter

I haven’t seen anyone else mention it, but we also need to decide how guarantees about the function’s return value are denoted, because if a pure function has both arguments as constexpr, then it’s return will also be constexpr and it could be used to create other constexpr values:

Even if a func is not pure, if we can run it at compile time it’s return will always be baked at compile time no?