Defined in File concepts.hpp
metafunction for use within decltype expression to validate return type is convertible to given type