// This should continue to work.// { dg-do compile { target c++20 } }template<class T>struct A {template<class U>booloperator==(const A<U>&);};intmain(){
A<int> a1;
A<void> a2;return a1 == a2;// { dg-error "ambiguous, even though the second is reversed" }}