1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// { dg-do compile { target c++20 } } template <class T> struct A { template <class U> requires (sizeof(T) == 1) static void f(U); template <class U> requires (sizeof(T) == 2) static void f(U); void g() { f(42); } };