:art: Remover useless check

diff --git a/src/parse/check.c b/src/parse/check.c
index 2f4a100d562e4f8f1fcc9787a4ce7994e99307ad..a461dd653fe515b98f52505f7cba8ad907baea3f 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -176,8 +176,7 @@ 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."));
   }
-  if(!decl->type)
-      ERR_O(td_pos(decl->td), _("can't infer type."));
+  assert(decl->type); // was ERR_O(td_pos(decl->td), _("can't infer type."));
 {
   const Type t = get_type(decl->type);
   if(GET_FLAG(t, template) && !GET_FLAG(t, check))