diff options
Diffstat (limited to 'AGENTS/PITFALLS/overload-template-operator.md')
| -rw-r--r-- | AGENTS/PITFALLS/overload-template-operator.md | 4 |
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, |
