On Fri, Aug 9, 2013 at 2:33 AM, Florian Weimer <fwei...@redhat.com> wrote: > On 08/09/2013 09:28 AM, Paolo Carlini wrote: > >> I see. You know, I was trying to figure out the logic other compilers - >> two of them, actually - are following, because the really appear to sfinae >> away infinite recursions. Was trying to imagine cases in which it would be >> safe. > > > Could their behavior just be bugs? Depending on their error recovery > implementation, not flagging infinite recursion as a hard error in SFINAE > context could be an easy mistake to make.
Indeed. The fact we try to recreate template instantiations, as opposed to using what is already known at the point where we get the diagnostics is a worrisome aspect of our current infrastructure. That obviously manifests itself with the "error re-entered…" stuff. -- Gaby