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?
