я хочу записать символьное требование

a + b == b + a

Никто не будет проверять комутативность сложения на уровне значений это бред какойто

ну есть альтернатива - набахать пять iterator_tag и в output_iterator бахнуть лишнее требование

Но чтобы не дублировать код тебе нужно подставить значения после всех операций

Иначе концепты дублируют тело

это же возможно

вообще если почесать репу, кажется, можно научиться один и тот же код выполнять и символьно и над фактическими значениями

будет только declarg<0> вместо decltrait

Сейчас мы придем к тому что вся программа должна быть символьной

а в С++ она и так символьная)

auto f(auto x, auto y) { return x + y; }

Только в результате выражения a+b*c ты имеешь 1 тип а не 6

почему их должно быть 6?

result, a, +, b, *, c

я в данном случае пытаюсь сказать, что получение каждого из этих результатов соответствует разному типу аргументов)

Поэтому там 3 типа abc а не 1

Под вся программа символьная я имел ввиду:
void foo(A& a, A& b){
a и  b одно и то же или нет?
}
Какой-то некстген си++
В таком коде слишком много зависимости

Кстати, понимаю, что тема заезжена и возможно уже было решение, но я не могу найти.
Каково различие между call и invoke. Читая стандарт, у меня сложилось впечатление, что call употребляют, когда подразумевают "позвать", то есть синтаксические конструкции вызова или намерение вызвать что-либо, а invoke используется в случаях "позвать и выполнить", например как в названиях std::invoke и immediately invoked lambda expression.
Может ли такое предположение быть верным?

полагаю call это ()