has_property

template<class _Resource, class _Property>
constexpr bool cuda::has_property = _CCCL_REQUIRES_EXPR((_Resource, _Property), const _Resource& __res, _Property __prop)(((void) get_property(__res, __prop)))

The has_property concept verifies that a Resource satisfies a given Property.

For c has_property we require the following free function to be callable

get_property(const Resource& res, Property prop);