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