By the way, more generally, I don't understand at the moment how we can safely use complete_type in the middle of tsubst & co: it can emit hard errors about, eg, incompleteness (see c++/62072) irrespective of the tsubst_flags_t argument...
Thanks, Paolo.