Template type deduction and specialization

[Ali Çehreli via Digitalmars-d-learn]

On 05/20/2015 04:10 PM, Mike Parker wrote:
> On Wednesday, 20 May 2015 at 13:46:22 UTC, Daniel Kozák wrote:
>> DOC say  `may not have` not `must not have` ;-)
>>
>
> OK, if that's the intent, it needs to be reworded. As it stands, it
> looks more like it's saying specialization is not permissible, rather
> than what "might" be possible.

That's the only meaning that I get: The doc means "must not". Yet, as 
you've shown, the behavior does not match the doc.

Ali