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.