Types: The Next Generation (Was: Why is phobos so wack?)

[Nick Sabalausky via Digitalmars-d]

On Sunday, 9 July 2017 at 20:42:39 UTC, Meta wrote:
>
> I'm sorry if I misunderstood what you're proposing, but isn't 
> this exactly what C++ set out to do with concepts? If that's 
> the case, I'd recommend you look up some of Andrei's refutation 
> of concepts in favour of template guards and `static if`.

Shit, I hope not :/ I gave up following C++ developments 15 years 
ago. Happen to have a link handy to that refutation?