aboutsummaryrefslogtreecommitdiff
path: root/AGENTS/PITFALLS/overload-template-operator.md
diff options
context:
space:
mode:
Diffstat (limited to 'AGENTS/PITFALLS/overload-template-operator.md')
-rw-r--r--AGENTS/PITFALLS/overload-template-operator.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/AGENTS/PITFALLS/overload-template-operator.md b/AGENTS/PITFALLS/overload-template-operator.md
index 5718b2d..f4a52ad 100644
--- a/AGENTS/PITFALLS/overload-template-operator.md
+++ b/AGENTS/PITFALLS/overload-template-operator.md
@@ -28,8 +28,8 @@ Part of the [pitfalls index](../PITFALLS.md).
Deduction recognizes T and array element T, never the T inside Box<T>.
- When multiple ordinary/template functions share a name, every definition must
specify OVERLOAD; exact ordinary definitions win, then non-variadic templates, then
- variadic templates, with same-tier ties ambiguous. Explicit arguments select
- templates only.
+ variadic templates, with same-tier ties ambiguous. An expected result type filters
+ ordinary definitions but not templates. Explicit arguments select templates only.
- Packs are final non-array parameters and expand only in call/constructor argument
lists; pack fields are rejected, including in variadic classes.
- Unsupported: non-type parameters, SIZEOF..., member/operator templates,