From 0c66a4708f9fafa5ec3abf03bfc0c45ecf4e3279 Mon Sep 17 00:00:00 2001 From: Arthur O'Dwyer Date: Sat, 24 Jan 2026 12:08:31 -0500 Subject: [PATCH] [over.match.oper] Add \defn for "rewrite target" IIUC this will also give it an entry in the Index. --- source/modules.tex | 3 ++- source/overloading.tex | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/source/modules.tex b/source/modules.tex index aeeb757edf..42f7162c90 100644 --- a/source/modules.tex +++ b/source/modules.tex @@ -626,7 +626,8 @@ the lookup for \tcode{\keyword{operator}<=>} performed when considering rewriting a relational comparison, and the lookup for \tcode{\keyword{operator}!=} -when considering whether an \tcode{\keyword{operator}==} is a rewrite target. +when considering whether an \tcode{\keyword{operator}==} is a +rewrite target\iref{over.match.oper}. \end{note} \item diff --git a/source/overloading.tex b/source/overloading.tex index fe6c4d0852..cf2939e117 100644 --- a/source/overloading.tex +++ b/source/overloading.tex @@ -837,7 +837,7 @@ \pnum A non-template function or function template \tcode{F} named \tcode{\keyword{operator}==} -is a rewrite target with first operand \tcode{o} +is a \defn{rewrite target} with first operand \tcode{o} unless a search for the name \tcode{\keyword{operator}!=} in the scope $S$ from the instantiation context of the operator expression finds a function or function template