RFC: std.concepts

[Hpkl via Digitalmars-d]

On Sunday, 19 October 2014 at 21:10:12 UTC, Shammah Chancellor 
wrote:
> 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 ?