Как я понял, новые будут работать по другому. Если старые это проверка на то, что произвольный код в концепте компилируется с определённым типом, то новые гораздо проще, просто проверяют наличие процедур у типа
Старые хоть и звучат могущественно, но дебажить их сложно. Компилятор просто выплевывает полотно ошибок. Надеюсь с ограничением синтаксиса новых концептов придут и человеческие ошибки. Да и судя по RFC, в новых концептах будет достаточно фич. Сейчас типами нельзя выразить итератор fieldPairs, а с новыми будет можно