On 2015-07-23 11:07, Walter Bright wrote:
Consider that template constraints can be arbitrarily complex, and can even check behavior, not just a list of function signatures ANDed together. Turns out many constraints in Phobos are of the form (A || B), not just (A && B).
I know that is possible, but in most cases it's only a list of function signatures that is needed.
-- /Jacob Carlborg