This is xnu-11215.1.10. See this file in:
//
// Tests for
//  __unsafe_forge_span functions
//

#include <span>
#include <vector>
#include <os/cxx_safe_buffers.h>
#include <darwintest.h>

#define CHECK(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__)

struct S {
	int i;
};

template <typename T>
static void
tests()
{
	{
		T * p = new T[10];
		std::span<T> span = os::span::__unsafe_forge_span(p, 10);

		CHECK(span.data() == p && span.size() == 10);
		delete[] p;
	}
	{
		std::vector<T> v;
		std::span<T> span = os::span::__unsafe_forge_span(v.begin(), v.end());

		CHECK(span.data() == v.data() && span.size() == 0);
	}
}

T_DECL(unsafe_forge_span, "cxx_safe_buffers.unsafe_forge_span")
{
	tests<S>();
}