You should be able to say if (any_erroneous_template_args (type))
and I don't think you need the goto; the normal logic should handle the truncated vecs fine. On Fri, Mar 9, 2018 at 4:14 AM, Paolo Carlini <paolo.carl...@oracle.com> wrote: > .. after a few hours of sleep, I realize that in principle we could also > call any_erroneous_template_args_p directly. In that case however, I believe > get_template_info does nothing 100% of the case, not sure we want to do > that. > > Paolo.