From 00e93232098a12e43f0824e13a6470dd0a16aab3 Mon Sep 17 00:00:00 2001
From: Nicole Mazzuca <mazzucan@outlook.com>
Date: Wed, 4 Jan 2023 15:00:45 -0800
Subject: [PATCH] add notes to {cbegin, cend, crbegin, crend, cdata} similar to
 the ones for {begin, end, rbegin, rend, data}

---
 source/ranges.tex | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/source/ranges.tex b/source/ranges.tex
index c86b342ee3..9b45b7d649 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -751,6 +751,13 @@
 \tcode{const_iterator<decltype(U)>(U)}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::cbegin(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::cbegin(E)} is a valid expression, its type models
@@ -778,6 +785,13 @@
 \tcode{const_sentinel<decltype(U)>(U)}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::cend(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::cend(E)} is a valid expression,
@@ -939,6 +953,13 @@
 \tcode{const_iterator<decltype(U)>(U)}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::crbegin(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::crbegin(E)} is a valid expression, its
@@ -967,6 +988,13 @@
 \tcode{const_sentinel<decltype(U)>(U)}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::crend(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::crend(E)} is a valid expression,
@@ -1192,6 +1220,13 @@
 \tcode{\exposid{as-const-pointer}(ranges::data(\exposid{possi\-bly-const-range}(t)))}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::cdata(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::cdata(E)} is a valid expression, it