Specialization - Major hole in the spec?

[Timon Gehr]

On 01/05/2012 02:19 AM, Timon Gehr wrote:
>
> All function templates are matched individually according to IFTI rules
> and from the matching ones, the most specialised is chosen. Error if no
> such function template exists.
>

Oops, this was incomplete: After the matching, first select all function 
templates that match best, and then choose the most specialized. The 
matching levels, from worst to best are:

0. no match
1. match with implicit conversion(s)
2. match with conversion(s) to const
3. exact match