Yah, only strongly pure functions would qualify. Indeed that's easy for the compiler to figure - so I'm thinking pragma(isStronglyPure, expression) would be easy to define.What would be some good uses of this?Andrei
Surely you mean __traits(isStronglyPure, expression)?
