[Bug c++/69178] [concepts] An invalid expression in a requires-expression is evaluated too eagerly

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69178

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
(In reply to Ville Voutilainen from comment #1)
> This check happens in check_bases(), which doesn't take complain flags, so
> wherever that check fails, it's always a hard error. I suppose the checking
> function call chains that go to that function should accept complain flags
> and then decide whether to produce a hard error or not?

No, that won't work; the instantiation of S<X> is outside the immediate context
of the requires expression.