AF
Первое во второе переключается requires{}
Второе в первое переключается через requires
Size: a a a
AF
AS
template <typename T>
concept IntegralPair = requires {
typename T::first_type;
typename T::second_type;
}
&& std::is_integral_v<typename T::first_type>
&& std::is_integral_v<typename T::second_type>
&& std::is_same_v<std::pair<typename T::first_type, typename T::second_type>, T>;
;
AF
AS
AF
AF
DP
AF
AS
AS
S
TW
TW
TW
S
A
TW
SB
A
AS