Specialization - Major hole in the spec?

[Sean Kelly]

On Jan 5, 2012, at 3:22 PM, Peter Alexander wrote:
> 
> On the T:int line it says "T must be int type", not "T must implicitly convert to int".
> 
> Where did you read that : means implicitly converts to? I can't find it anywhere on the site, or in TDPL.

That's how "is" expressions work.  I think the rules for templates are different though.  For example, you can't do T=float to specialize a template.