> Judging from the implementation, it seems that this relies on the notion of > "potentially-constant expression" which is no longer part of the standard; > that notion should only be used for diagnostics that are not required, not > for things that participate in the type system. > > I think it would be better to have a requirement that a particular > expression instantiate into an actual constant expression.
I was not aware of that. That's probably the right, but I remember having some troubles getting that to work the way I wanted in the previous implementation. It seemed like I actually had to evaluate the expression to determine if it was actually constexpr. Andrew