diff --git a/libcxx/test/std/iterators/iterator.requirements/indirectcallable/projected/projected.compile.pass.cpp b/libcxx/test/std/iterators/iterator.requirements/indirectcallable/projected/projected.compile.pass.cpp
--- a/libcxx/test/std/iterators/iterator.requirements/indirectcallable/projected/projected.compile.pass.cpp
+++ b/libcxx/test/std/iterators/iterator.requirements/indirectcallable/projected/projected.compile.pass.cpp
@@ -23,6 +23,27 @@
 static_assert(std::same_as<decltype(*std::declval<IntPtr>()), int const&>);
 static_assert(std::same_as<std::iter_difference_t<IntPtr>, std::ptrdiff_t>);
 
+void test() {
+  {
+    auto projection = [](int x) { return x + 1; };
+    using P = std::projected<int*, decltype(projection)>;
+    static_assert(std::same_as<std::iter_value_t<P>, int>);
+    static_assert(std::same_as<std::iter_reference_t<P>, int>);
+    static_assert(std::same_as<std::iter_difference_t<P>, std::ptrdiff_t>);
+    static_assert(std::same_as<std::iter_rvalue_reference_t<P>, int>);
+    static_assert(std::same_as<std::iter_common_reference_t<P>, int>);
+  }
+  {
+    auto projection = [](int& x) -> int& { return x; };
+    using P = std::projected<int*, decltype(projection)>;
+    static_assert(std::same_as<std::iter_value_t<P>, int>);
+    static_assert(std::same_as<std::iter_reference_t<P>, int&>);
+    static_assert(std::same_as<std::iter_difference_t<P>, std::ptrdiff_t>);
+    static_assert(std::same_as<std::iter_rvalue_reference_t<P>, int&&>);
+    static_assert(std::same_as<std::iter_common_reference_t<P>, int&>);
+  }
+}
+
 struct S { };
 
 using Cpp17InputIterator = std::projected<cpp17_input_iterator<S*>, int S::*>;