AF
Size: a a a
AF
D
D
AF
AF
DB
C
DB
DK
DB
AK
DB
D
struct tag; // forward declПоведение же будет такое, как и с инстанциациями шаблонов -- будет окончательная проверка только при самой инстанциации?
template <typename T>
concept callable_with_tag = requires(T obj) {
{ obj(std::declval<tag>()) }'
};
struct tag {}; // definition
template <typename T>
requires callable_with_tag<T>
void foo() {
...
};
D
DB
Е
D
DB
AK
D