On Saturday, 18 May 2013 at 08:19:59 UTC, Dicebot wrote:
On Saturday, 18 May 2013 at 02:34:46 UTC, Andrej Mitrovic wrote:
On 5/18/13, Timothee Cour <[email protected]> wrote:
S.init should be known at compile time by the spec.
But why is this needed?
It is quite helpful for template / meta-programming stuff. You
are always 100% guaranteed that you can construct S.init and
use with your weird template magic wihtout extra checks and
fallbacks. However, so far most of real-world usages of T.init
I have seen is more about template constraint checks where
exact T.init value does not matter that much. Any other usage
examples in mind?
Within phobos it is used quite heavily.
