--- /dev/null
+++ xnu/xnu-8796.121.2/tests/bounded_array_ref_src/ctor.bounded_ptr.cpp
@@ -0,0 +1,104 @@
+//
+// Tests for
+//  explicit bounded_array_ref(bounded_ptr<T, TrappingPolicy> data, size_t n);
+//
+
+#include <libkern/c++/bounded_array_ref.h>
+#include "test_policy.h"
+#include <cstddef>
+#include <darwintest.h>
+#include <darwintest_utils.h>
+
+struct T { int i; };
+inline bool
+operator==(T const& a, T const& b)
+{
+	return a.i == b.i;
+};
+
+template <typename T>
+static void
+tests()
+{
+	T array[5] = {T{0}, T{1}, T{2}, T{3}, T{4}};
+	T* const begin = &array[0];
+	T* const end = &array[5];
+
+	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
+	//   ^                                                ^
+	//   |                                                |
+	// begin,ptr                                         end
+	//
+	//   ^------------------- view -----------------------^
+	{
+		test_bounded_ptr<T> ptr(&array[0], begin, end);
+		test_bounded_array_ref<T> view(ptr, 5);
+		CHECK(view.data() == &array[0]);
+		CHECK(view.size() == 5);
+		CHECK(view[0] == T{0});
+		CHECK(view[1] == T{1});
+		CHECK(view[2] == T{2});
+		CHECK(view[3] == T{3});
+		CHECK(view[4] == T{4});
+	}
+	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
+	//   ^                                                ^
+	//   |                                                |
+	// begin,ptr                                         end
+	//
+	//   ^----- view -----^
+	{
+		test_bounded_ptr<T> ptr(&array[0], begin, end);
+		test_bounded_array_ref<T> view(ptr, 3);
+		CHECK(view.data() == &array[0]);
+		CHECK(view.size() == 3);
+		CHECK(view[0] == T{0});
+		CHECK(view[1] == T{1});
+		CHECK(view[2] == T{2});
+	}
+	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
+	//   ^                          ^                     ^
+	//   |                          |                     |
+	// begin                       ptr                   end
+	//
+	//                              ^------- view --------^
+	{
+		test_bounded_ptr<T> ptr(&array[3], begin, end);
+		test_bounded_array_ref<T> view(ptr, 2);
+		CHECK(view.data() == &array[3]);
+		CHECK(view.size() == 2);
+		CHECK(view[0] == T{3});
+		CHECK(view[1] == T{4});
+	}
+	// Check with a valid `bounded_ptr` and a size of 0.
+	{
+		test_bounded_ptr<T> ptr(&array[0], begin, end);
+		test_bounded_array_ref<T> view(ptr, 0);
+		CHECK(view.size() == 0);
+	}
+	// Check with a null `bounded_ptr` and a size of 0.
+	{
+		test_bounded_ptr<T> ptr = nullptr;
+		test_bounded_array_ref<T> view(ptr, 0);
+		CHECK(view.size() == 0);
+	}
+	// Check with a non-null but invalid `bounded_ptr` and a size of 0.
+	{
+		test_bounded_ptr<T> ptr(end, begin, end);
+		test_bounded_array_ref<T> view(ptr, 0);
+		CHECK(view.size() == 0);
+	}
+	// Make sure there's no ambiguity between constructors.
+	{
+		test_bounded_ptr<T> ptr(begin, begin, end);
+		std::ptrdiff_t size = sizeof(array) / sizeof(*array);
+		test_bounded_array_ref<T> view(ptr, size);
+		CHECK(view.data() == &array[0]);
+		CHECK(view.size() == 5);
+	}
+}
+
+T_DECL(ctor_bounded_ptr, "bounded_array_ref.ctor.bounded_ptr") {
+	tests<T>();
+	tests<T const>();
+}