1  template<typename T>
       2  requires (sizeof (T) == 1)
       3  constexpr int f1 (T x) { return 1; }
       4  
       5  template<typename T>
       6  requires (sizeof (T) != 1)
       7  constexpr int f1 (T x) { return 0; }