Здравствуйте, Кодт, Вы писали:

К>А вот это уже какая-то чёртова магия.
К>Когда булево выражение у концепта трактуется не просто как булево выражение, а как субклассирование.

Почему бы и нет? Это аналог того, как иногда используют наследование без какого-либо расширения функционала, только для того, чтобы создать новый UDT, перегрузить для него всякие операторы и заставить ADL заглятывать в нужное пространтво имен (а не в boost или std).

Здравствуйте, Кодт, Вы писали:

К>А вот это уже какая-то чёртова магия.
К>Когда булево выражение у концепта трактуется не просто как булево выражение, а как субклассирование.

Почему бы и нет? Сабклассинг и сам по себе может иметь ценность. Это аналог того, как иногда используют наследование без какого-либо расширения функционала, только для того, чтобы создать новый UDT, перегрузить для него всякие операторы и заставить ADL заглятывать в нужное пространтво имен (а не в boost или std).