From a297fdaad2760e4eae131e1bd87130455f2eaf64 Mon Sep 17 00:00:00 2001
From: ivanjermakov <ivanjermakov1@gmail.com>
Date: Mon, 22 Apr 2024 20:41:20 +0200
Subject: [PATCH] Semantic: redundant error

---
 src/semantic/index.ts | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/semantic/index.ts b/src/semantic/index.ts
index 9b78e20..cc7badf 100644
--- a/src/semantic/index.ts
+++ b/src/semantic/index.ts
@@ -368,9 +368,6 @@ const checkFnDef = (fnDef: FnDef, ctx: Context): void => {
                 }
                 upcast(rs, rs.type!, returnTypeResolved, ctx)
             })
-            if (!isAssignable(fnDef.block.type!, returnTypeResolved, ctx)) {
-                addError(ctx, typeError(ctx, fnDef.returnType ?? fnDef.block, fnDef.block.type!, returnTypeResolved))
-            }
         } else {
             if (!instScope) {
                 addWarning(ctx, noBodyFnError(ctx, fnDef))