ср, 19 авг. 2020 г. в 14:29, Jonathan Wakely <jwak...@redhat.com>:
<...>
> Do we also want to check
> (std::__is_complete_or_unbounded(__type_identity<_ArgTypes>{}) && ...)
> for invoke_result and the is_invocable traits?
>
> We can use a fold expression there, because those traits are not
> defined before C++17.Good idea. I'll try. -- Best regards, Antony Polukhin
