On Saturday, 13 August 2016 at 12:58:36 UTC, ag0aep6g wrote:
What's a 'template "if" constraint'? Template constraints
already use the `if` keyword. This is a template constraint:
template Foo(T) if (is(T : int)) {/* ... */}
Other than those, there are template specializations. Example:
template Foo(T : int) {/* ... */}
Bad naming on my part. I'll rename it. Although considering type deduction/parameter matching/specialisation is syntactically related, I'll find a better umbrella name for that.
