[Bug c++/92214] Unhelpful diagnostic for static_assert( some_concept(some_type) )

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2020-01-29
 CC||marxin at gcc dot gnu.org
 Ever confirmed|0   |1

[Bug c++/92214] Unhelpful diagnostic for static_assert( some_concept(some_type) )

[redi at gcc dot gnu.org]

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

Jonathan Wakely  changed:

   What|Removed |Added

   Severity|normal  |enhancement

[Bug c++/92214] Unhelpful diagnostic for static_assert( some_concept(some_type) )

[andrew.n.sutton at gmail dot com]

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

Andrew Sutton  changed:

   What|Removed |Added

 CC||andrew.n.sutton at gmail dot 
com

--- Comment #1 from Andrew Sutton  ---
That's part of a functional type conversion: the T in T(args...), not a
declaration.

If we don't allow placeholders in that context, we can probably generate a
better diagnostic.