From b28384fed1ce638e8b00b72dba974e9fd7e55eb4 Mon Sep 17 00:00:00 2001
From: _ov4 <ov4@ov4.org>
Date: Wed, 28 Oct 2026 13:36:16 +0000
Subject: feat(overload): support default return types

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 lib/CodeGen/OperatorGen.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'lib/CodeGen/OperatorGen.cc')

diff --git a/lib/CodeGen/OperatorGen.cc b/lib/CodeGen/OperatorGen.cc
index 560b167..7cfac00 100644
--- a/lib/CodeGen/OperatorGen.cc
+++ b/lib/CodeGen/OperatorGen.cc
@@ -38,6 +38,7 @@ CodeGen::OperatorResolution CodeGen::resolveOperator(
             if (Lenient && !CanConvert) break;
             const FuncSig *Selected = nullptr;
             int Count = 0;
+            std::vector<const FuncSig *> Matches;
             for (const FuncSig *Sig : Candidates) {
                 bool Member = !Sig->Prototype->getOwnerClass().empty();
                 if (Sig->Prototype->getOperator() != Op ||
@@ -47,8 +48,15 @@ CodeGen::OperatorResolution CodeGen::resolveOperator(
                 ParamMatched = true;
                 if (FilterReturn && !ReturnsWanted(Sig)) continue;
                 ++Count;
+                Matches.push_back(Sig);
                 if (!Selected) Selected = Sig;
             }
+            if (!FilterReturn && Count > 1) {
+                if (const FuncSig *Default = FunctionGen::selectDefaultReturn(Matches)) {
+                    Selected = Default;
+                    Count = 1;
+                }
+            }
             if (Selected) {
                 Result.Signature = Selected;
                 Result.Ambiguous = Count > 1;
-- 
cgit v1.3.1-4-g156e