[Bug c++/107542] ICE in spaceship_comp_cat, at cp/method.cc:1055

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

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-11-21
     Ever confirmed|0                           |1

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
Reduced test-case:

$ cat pr107542.ii
template <class Lhs, class Rhs>
concept Ord = requires(Lhs lhs, Rhs rhs) { lhs <=> rhs; };
template <class> struct S;
template <class T, class U>
  requires(Ord<T *, U *>)
auto operator<=>(T, U) {
  !Ord<int, S<int>>;
}

Note spaceship_comp_cat is called with:
optype=<error_mark 0x7ffff7621fa8>