Elementary question about complete_type vs tsubst_flags_t

[Jason Merrill]

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