From ef50df8ebc8931fb7845d8f62ecc387c6c5f3608 Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Mon, 24 Jun 2024 11:55:38 +0300
Subject: [PATCH] Fix tests

---
 .../org/arend/typechecking/visitor/DefinitionTypechecker.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java b/base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java
index 95029b57a..3869d278f 100644
--- a/base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java
+++ b/base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java
@@ -1950,7 +1950,7 @@ private List<ExtElimClause> typecheckFunctionBody(FunctionDefinition typedDef, C
           }
           index++;
         }
-      } else {
+      } else if (!expectedType.isError()) {
         errorReporter.report(new CertainTypecheckingError(CertainTypecheckingError.Kind.INSTANCE_TYPE, def));
       }
     } else if (kind == FunctionKind.TYPE) {