Hi again,
>> Hmm, now that I look at the code in instantiate_decl for 
>> re-substituting to get additional errors, I guess I should have 
>> factored that code out into a separate function and used it in the 
>> access7 patch rather than add handling of FNDECL_RECHECK_ACCESS_P in 
>> tsubst_decl.
> I see. Could you take care of this improvement? Otherwise the below 
> passes testing, tries to implement all the changes you indicated.
The below variant adds a fndecl_recheck_access_p and uses it in two 
places, in tsubst_decl and instantiate_template_1. Did I understand 
correctly?

Tested x86_64-linux.

Thanks,
Paolo.

////////////////////////////