https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92236
Bug ID: 92236
Summary: [concepts] Explain non-satisfaction in static_assert
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Keywords: diagnostic
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: jason at gcc dot gnu.org
CC: asutton at gcc dot gnu.org
Blocks: 67491
Target Milestone: ---
For this testcase we should explain why the concept-check is not satisfied, not
just say "static assertion failed".
template <class T> concept Int = __is_same_as (T, int);
static_assert (Int<char>);
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491
[Bug 67491] [meta-bug] concepts issues
