cpp/types/void t

Utility metafunction that maps a sequence of any types to the type. This metafunction is a convenient way to leverage SFINAE prior to C++20's concepts, in particular for conditionally removing functions from the candidate set based on whether an expression is valid in the unevaluated context (such as operand to expression), allowing to exist separate function overloads or specializations based on supported operations.