From c63584c388ea6acb7ad2f244376ae005536b6838 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sat, 24 Oct 2026 18:09:43 +0000 Subject: docs(overload): document return-type selection across keyword pages Co-Authored-By: Claude Opus 5.5 --- AGENTS/PITFALLS/overload-template-operator.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'AGENTS/PITFALLS') 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. - 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, -- cgit v1.3.1-4-g156e