Re: [PATCH] Prevent recursive satisfaction (PR c++/88395)

[Andrew Sutton]

> > +      if (tmpl)
> > +     push_tinst_level (tmpl);
>
> Actually, why not pass 't' here?

I thought it would matter if 't' was a non-template. Turns out it
doesn't. Updated and committed.