[PATCH] PR libstdc++/71579 assert that type traits are not misused with an incomplete type

Antony Polukhin antoshkka@gmail.com
Wed Aug 19 16:44:00 GMT 2020

ср, 19 авг. 2020 г. в 14:29, Jonathan Wakely <jwakely@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

More information about the Gcc-patches mailing list