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/typecheck.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/typecheck.c')

diff --git a/src/typecheck.c b/src/typecheck.c
index aee96234..c6f8b10f 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -1482,6 +1482,7 @@ type_t *get_type(env_t *env, ast_t *ast)
     }
     case Unknown: code_err(ast, "I can't figure out the type of: ", ast_to_xml_str(ast));
     case Deserialize: return parse_type_ast(env, Match(ast, Deserialize)->type);
+    case ExplicitlyTyped: return Match(ast, ExplicitlyTyped)->type;
     }
 #ifdef __GNUC__
 #pragma GCC diagnostic pop
-- 
cgit v1.2.3