From 3b4a0e8b907bce9d5682b64ef02dfbf430762f5b Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sun, 6 Apr 2025 13:22:22 -0400
Subject: Improve support for inferring the specific type of the `self` value
 in a method call.

---
 src/ast.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/ast.c')

diff --git a/src/ast.c b/src/ast.c
index 8544ebad..d4ecca2d 100644
--- a/src/ast.c
+++ b/src/ast.c
@@ -4,6 +4,7 @@
 #include <stdarg.h>
 
 #include "ast.h"
+#include "types.h"
 #include "stdlib/datatypes.h"
 #include "stdlib/integers.h"
 #include "stdlib/tables.h"
@@ -193,6 +194,7 @@ CORD ast_to_xml(ast_t *ast)
     T(InlineCCode, "<InlineCode>%r</InlineCode>", xml_escape(data.code))
     T(Deserialize, "<Deserialize><type>%r</type>%r</Deserialize>", type_ast_to_xml(data.type), ast_to_xml(data.value))
     T(Extend, "<Extend name=\"%s\">%r</Extend>", data.name, ast_to_xml(data.body))
+    T(ExplicitlyTyped, "<ExplicitlyTyped type=\"%r\">%r</ExplicitlyTyped>", type_to_cord(data.type), ast_to_xml(data.ast))
     default: return "???";
 #undef T
     }
-- 
cgit v1.2.3