f: () requires std::regular = g(T()); main: () = { }