Fact checking for my talk

[Ethan Watson via Digitalmars-d]

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.