It was request that I create a NG thread about a module I was hoping to merge with phobos. (std.concepts) Please take a look.Thanks in advance.
So basically it allows, at compile time, to check that an agregate contains all the "primitive" methods defined in a concept, and eventually it diagnoses accurately which axiom is missing ? right ?
e.g the the assertion in http://dpaste.dzfl.pl/08f740ac5e48 would be correct ?
