diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-04-06 13:22:22 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-04-06 13:22:22 -0400 |
| commit | 3b4a0e8b907bce9d5682b64ef02dfbf430762f5b (patch) | |
| tree | 93eca6cc83c624abbe2ed56c65df1dd524ad6a3a /src/typecheck.c | |
| parent | 0a54b8965319545741c427086d8994f77a72089f (diff) | |
Improve support for inferring the specific type of the `self` value in a
method call.
Diffstat (limited to 'src/typecheck.c')
| -rw-r--r-- | src/typecheck.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 |