A callable type ([func.def]) F
is Lvalue-Callable for argument
types ArgTypes
and return type R
if the expression
INVOKE<R>(declval<F&>(), declval<ArgTypes>()...),
considered as an unevaluated operand ([expr.context]), is
well-formed ([func.require]).