P1285R0

Improving completeness requirements for type traits