[Bug c++/124321] requires-expression produces hard error instead of evaluating to false in non-dependent context

[nshead at gcc dot gnu.org via Gcc-bugs]

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

Nathaniel Shead <nshead at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nshead at gcc dot gnu.org
         Resolution|---                         |INVALID
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Nathaniel Shead <nshead at gcc dot gnu.org> ---
[expr.prim.req.general]/5 says:

> The substitution of **template arguments** into a requires-expression... 
> In such cases, the requires-expression evaluates to false; it does not
> cause the program to be ill-formed.

Here there are no template arguments, so this paragraph does not apply.  And
there is a note that clarifies this as well:

> [Note 1: If a requires-expression contains invalid types or expressions
> in its requirements, and it does not appear within the declaration of a
> templated entity, then the program is ill-formed.  — end note]

So invalid.