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.