https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117515
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
Status|NEW |RESOLVED
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to eczbek.void from comment #3)
> (In reply to Jan Schultke from comment #1)
> > this is particularly weird because
> >
> > > bool b = requires { int([] {}); };
> >
> > ... is accepted, so static_assert is in some way related.
>
> Testing that with my `A` struct again, `b` is false when it should be true:
> https://godbolt.org/z/nvxhjYP71
yes because that requires turns into an error_mark_node which is both true and
false but should not have appeared in the IR if there was no error.
*** This bug has been marked as a duplicate of bug 99546 ***
