Все компиляторы, которые мне удалось достать, согласны с тем, что это нормально: template <typename Check, typename... T> auto foo(Check, T...) -> void; template <typename... T> auto foo(int, T...) -> void; int main() {...

У меня есть ситуация, когда я определил индуктивный тип данных t и частичный порядок le над ним (см. le_refl , le_trans и le_antisym ). Порядок имеет такую ​​особенность в случае le_C , что порядок аргументов меняется местами в индуктивной...