On 08/15/2014 12:17 PM, Paolo Carlini wrote:
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...
Yes, it can, that's part of the language; remember "Only invalid types and expressions in the immediate context of the function type and its template parameter types can result in a deduction failure", invalid constructs outside that context result in hard errors.
Jason
