On Tuesday, 14 May 2013 at 09:30:01 UTC, Timon Gehr wrote: > There is no spec for the IFTI case. (i.e. what happens if the > eponymous declaration inside the template is an overload set?) I know, but solving one problem at a time usual lead to better result than all at once.