24 Jul
2013
24 Jul
'13
11:23 p.m.
[Nathan Ridge]
A clang developer has recently pointed me to an interesting clause in the standard ([temp.inst] p6): "If the overload resolution process can determine the correct function to call without instantiating a class template definition, it is unspecified whether that instantiation actually takes place." Perhaps this is coming into play here (and thus all of the above behaviour is standard-conforming)?
That's an excellent catch. Yep, I agree. STL