Почему C++ не позволяет ограничивать переопределения виртуальных функций с помощью предложения Concept/Requires? ⇐ C++

[Anonymous]

Я попытался написать следующий код, но он был отклонен компилятором:
#include
struct Base {
virtual void f() {}
};

template
struct Derived : Base {
void f() requires std::is_same_v override {}
};

Соответствующий раздел стандарта я нашел здесь:

11.7.3 Виртуальные функции

6 Виртуальная функция не должна иметь завершающего предложения require ([dcl.decl]).

[Пример 5:
template
struct A {
virtual void f() requires true; // error: virtual function cannot be constrained ([temp.constr.decl])
};

— конец примера]

но я не понимаю мотивации этого. Учитывая, что для производного класса совершенно разумно не переопределять виртуальную функцию базового класса, почему не считается правильным решить, существует ли это переопределение на основе ограничения (время компиляции)?
Это ограничение кажется особенно глупым (по крайней мере, в этом примере), поскольку этот код является законным и, по сути, достигает того же самого, но более подробно:
template
struct Derived : Base {
};

template
requires std::is_same_v
struct Derived : Base {
void f() override {}
};


Подробнее здесь: https://stackoverflow.com/questions/798 ... -a-concept