[Bug c++/69178] [concepts] An invalid expression in a requires-expression is evaluated too eagerly
jason at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Fri Jan 8 20:08:00 GMT 2016
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.
More information about the Gcc-bugs
mailing list