feat(operators): support global binary operator overloads

Resolve exact operand types and preserve declared operator return types.
Reject implicit STRING to BOOLEAN conversion at typed expression boundaries.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

1 files changed, 24 insertions, 0 deletions

diff --git a/tests/iii/operator-global-errors/case.json b/tests/iii/operator-global-errors/case.json
new file mode 100644
index 0000000..eeb9965
--- /dev/null
+++ b/tests/iii/operator-global-errors/case.json
@@ -0,0 +1,24 @@
+{
+  "errors": [
+    {
+      "reason": "Cannot implicitly convert STRING to BOOLEAN",
+      "line": 12
+    },
+    {
+      "reason": "Operator \\+ cannot be applied to a record",
+      "line": 13
+    },
+    {
+      "reason": "requires a record, class or enum operand",
+      "line": 14
+    },
+    {
+      "reason": "Invalid operand count",
+      "line": 17
+    },
+    {
+      "reason": "cannot be redefined",
+      "line": 20
+    }
+  ]
+}