:art: Check decl_type

diff --git a/src/parse/check.c b/src/parse/check.c
index 45dfc7cbfda94fe36f93d6f5594d968bbbc49f54..23815fa291d29eac1987357e5382029293ffc829 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -155,7 +155,8 @@ ANN Type check_exp_decl(const Env env, const Exp_Decl* decl) {
     if(decl->type == t_auto)
       ERR_O(td_pos(decl->td), _("can't infer type."));
   }
-  assert(decl->type); // was ERR_O(td_pos(decl->td), _("can't infer type."));
+  if(!decl->type)
+    ERR_O(td_pos(decl->td), _("can't find type"));
 {
   const Type t = get_type(decl->type);
   if(GET_FLAG(t, template) && !GET_FLAG(t, check))