On 07/10/2015 09:52 AM, Paolo Carlini wrote:
Good. Thus in practice the "immediate context" theory boils down to those irrevocable instantiations, that wasn't completely clear to me, thanks.
Right.
Does that imply that c++/62085 should be closed?
I think so, yes.
The compilers I have here aren't all in agreement: EDG rejects the testcase like GCC but recent clangs don't, likewise SolarisStudio.
Well, the standard gives implementations some latitude to avoid instantiations if it can figure out another way to determine the winning candidate: see 14.7.1p7. I don't know if that's the basis for the difference.
Jason
