// { dg-options "-std=c++1z -fconcepts" }

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);
  }
};