[Bug c++/89036] New: ICE if destructor has a requires

[antoshkka at gmail dot com]

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

            Bug ID: 89036
           Summary: ICE if destructor has a requires
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: antoshkka at gmail dot com
  Target Milestone: ---

The following code:


template<typename T>
struct Y {
    ~Y() requires(true) = default;
    ~Y() requires(false) {}
};


causes ICE:


<source>:6:27: internal compiler error: in add_method, at cp/class.c:1137

    6 |     ~Y() requires(false) {}

      |                           ^

Please submit a full bug report,

with preprocessed source if appropriate.

See <https://gcc.gnu.org/bugs/> for instructions.

Compiler returned: 1