[Bug c++/92236] New: [concepts] Explain non-satisfaction in static_assert

[jason at gcc dot gnu.org]

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