1*2a3b86c1SRichard Smith // RUN: %clang_cc1 -std=c++20 -verify %s 2*2a3b86c1SRichard Smith // expected-no-diagnostics 3*2a3b86c1SRichard Smith 4*2a3b86c1SRichard Smith namespace SpaceshipImpliesEq { 5*2a3b86c1SRichard Smith template<typename T> struct A { 6*2a3b86c1SRichard Smith int operator<=>(const A&) const = default; fSpaceshipImpliesEq::A7*2a3b86c1SRichard Smith constexpr bool f() { return operator==(*this); } 8*2a3b86c1SRichard Smith }; 9*2a3b86c1SRichard Smith static_assert(A<int>().f()); 10*2a3b86c1SRichard Smith } 11