Template allConvertibleTo

Checks whether all the types U... are implicitly convertible to T.

template allConvertibleTo(T, U...) ;